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 8.0 2004/04/17 23:40:00 da Exp


