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



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
-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de

Attachment: signature.asc
Description: This is a digitally signed message part



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