[isabelle] Latex without proofs



Dear all,

Is there a simple way to suppress all proofs when presenting theories with Isabelle/Latex?

Thanks a lot,
Stephan




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