Proof General Home

releases/ProofGeneral/lclam/README
Lambda-CLAM Proof General

Written by James Brotherston <jjb@dai.ed.ac.uk>.


Status: supported
Maintainer: James Brotherston <jjb@dai.ed.ac.uk>
Lambda-CLAM version: ??
Lambda-CLAM homepage: http://dream.dai.ed.ac.uk/software/systems/lambda-clam/


README,v 9.0 2008/01/30 15:22:19 da Exp


Click here to go back to the front page.

Web pages by David Aspinall.
Contact Proof General maintainer.
Last modified 12 November 2009.