src/CCL/ROOT

more ambitious Goal.skip_proofs: covers Goal.prove forms as well, and do not insist in quick_and_dirty (for the sake of Isabelle/jEdit);

+
−chapter CCL
+
−
+
−session CCL = 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.
+
−  *}
+
−  options [document = false]
+
−  theories Wfd Fix
+
−
+
−session "CCL-ex" in ex = CCL +
+
−  description {*
+
−    Author:     Martin Coen, Cambridge University Computer Laboratory
+
−    Copyright   1993  University of Cambridge
+
−
+
−    Examples for Classical Computational Logic.
+
−  *}
+
−  options [document = false]
+
−  theories Nat List Stream Flag
+
−