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/

========================================

$Id$