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.