blob: 39db25c1cbb1adebd7edd96a94efb60a9eeed2e5 (
plain)
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$
|