src/CCL/ROOT

more session ROOT files;

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