diff options
Diffstat (limited to 'ccc/README')
-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. |