Document: proofgeneral
Title: User Manual for Proof General 3.4
Author: David Aspinall and Thomas Kleymann
Abstract: This document describes how to use
 the Proof General mode for Emacs and X-Emacs to
 organize your proofs with several theorem provers.
Section: Apps/Math

Format: HTML
Index: /usr/share/doc/proofgeneral-doc/index.html
Files: /usr/share/doc/proofgeneral-doc/*.html

  
