blob: 8b4e3f9013c7a93b9ab35334c34354d2a4aa1726 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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 homepage: http://dream.dai.ed.ac.uk/software/systems/lambda-clam/
========================================
$Id$
|