Re: [isabelle] Minor type-setting mistake in http://isabelle.in.tum.de/dist/Isabelle/doc/sugar.pdf



Thanks for the report. I don't know what exactly went wrong there, but
in the development version it works again.

Tobias

Joachim Breitner schrieb:
> 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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.