Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Minor type-setting mistake in http://isabelle....


view this post on Zulip Email Gateway (Aug 18 2022 at 16:14):

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