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.5.tar.gz

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

Copyright: 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.

