changeset 48483 | 9bfb6978eb80 |
parent 48475 | 02dd825f5a4e |
child 48738 | f8c1a5b9488f |
--- a/src/CCL/ROOT Tue Jul 24 20:41:50 2012 +0200 +++ b/src/CCL/ROOT Tue Jul 24 20:42:34 2012 +0200 @@ -8,6 +8,7 @@ A computational logic for an untyped functional language with evaluation to weak head-normal form. *} + options [document = false] theories Wfd Fix session ex = CCL + @@ -17,5 +18,6 @@ Examples for Classical Computational Logic. *} + options [document = false] theories Nat List Stream Flag