This package was debianized by Stefan Schimanski <schimmi@debian.org> on
Tue, 27 Aug 2002 11:55:15 +0200.

It was downloaded from http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.tgz

Upstream Authors:   Thomas Kleymann, Dilip Sequeira, 
		    Healfdene Goguen and David Aspinall and others
Maintainer Contact: da+pg-feedback@inf.ed.ac.uk

Copyright 1998-2008 LFCS, University of Edinburgh, UK.

       You are free to distribute this software under the terms of
       the GNU General Public License, version 2.
       On Debian systems, the complete text of the GNU General Public
       License can be found in the /usr/share/common-licenses/GPL file.