obsolete/lclam/README


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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$