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 12.0 2011/10/13 10:54:51 da Exp


