Proof General

Organize your proofs!

User Manual for Proof General 3.5

April 2004

proofgeneral.inf.ed.ac.uk

David Aspinall and Thomas Kleymann
with P. Courtieu, H. Goguen, D. Sequeira, M. Wenzel.



This document was generated on 21 April 2004 using texi2html 1.56k.