src/CCL/ROOT
changeset 48475 02dd825f5a4e
child 48483 9bfb6978eb80
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/CCL/ROOT	Tue Jul 24 14:07:44 2012 +0200
@@ -0,0 +1,21 @@
+session CCL! in "." = Pure +
+  description {*
+    Author:     Martin Coen, Cambridge University Computer Laboratory
+    Copyright   1993  University of Cambridge
+
+    Classical Computational Logic based on First-Order Logic.
+
+    A computational logic for an untyped functional language with
+    evaluation to weak head-normal form.
+  *}
+  theories Wfd Fix
+
+session ex = CCL +
+  description {*
+    Author:     Martin Coen, Cambridge University Computer Laboratory
+    Copyright   1993  University of Cambridge
+
+    Examples for Classical Computational Logic.
+  *}
+  theories Nat List Stream Flag
+