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.