From 457d2f8017e06e089425d4106e1dc51b7a3d029c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 4 Sep 2002 17:04:02 +0000 Subject: New files. --- lclam/README | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 lclam/README diff --git a/lclam/README b/lclam/README new file mode 100644 index 00000000..39db25c1 --- /dev/null +++ b/lclam/README @@ -0,0 +1,15 @@ +Lambda-CLAM Proof General + +Written by James Brotherston . + + +Status: supported +Maintainer: James Brotherston +Lambda-CLAM version: ?? +Lambda-CLAM homepage: http://dream.dai.ed.ac.uk/software/systems/lambda-clam/ + +======================================== + +$Id$ + + -- cgit v1.2.3