diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 16:30:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 16:30:28 +0000 |
| commit | c621a2ea58e24b04db91787e38a6842fe80a477b (patch) | |
| tree | 85812d968446d7690ccc2986108a4d26283daea6 /ccc | |
| parent | c230e600adeb35f4c174c68812712cf50a45fe44 (diff) | |
Updated.
Diffstat (limited to 'ccc')
| -rw-r--r-- | ccc/README | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,7 +1,9 @@ Proof General for the Casl Consistency Checker -Author: Christoph Lüth <cxl@informatik.uni-bremen.de> +Author: Christoph Lüth <cxl@informatik.uni-bremen.de> +================================================================= + This is a fairly straightforward instantiation of Proof General for the Casl Consistency Checker, CCC. |