Re: [isabelle] Minor type-setting mistake in

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


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.