src/CCL/ROOT

+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
+