diff -r 45137257399a -r 9bfb6978eb80 src/CCL/ROOT
--- 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