;;;###autoload
(package-provide 'ProofGeneral
		 :version "3.3pre010320"
		 :type 'regular)