Proof General
Organize your proofs!
User Manual for Proof General 3.4
August 2002
www.proofgeneral.org
David Aspinall and Thomas Kleymann
with P. Courtieu, H. Goguen, D. Sequeira, M. Wenzel.
This document was generated on 29 August 2002 using
texi2html 1.56k.