Proof General

Organize your proofs!

The Proof General pages have been moved to http://proofgeneral.inf.ed.ac.uk.
You should be redirected automatically in a moment.

Please update your links.


David Aspinall
Last modified: Wed Dec 1 19:20:47 GMT 1999