From: Joachim Breitner <mail@joachim-breitner.de>
Hi,
I was just reading through that document and saw the line
@{thm conjI} results in [|P; Q|] == P /\ Q. Most of the time you would
rather not see the question marks.
in subsection 3.1. I don’t see any questions marks there – maybe
show_questions_marks was reset for that file?
Greetings,
Joachim
signature.asc
Last updated: Mar 28 2024 at 16:17 UTC