src/LCF/ROOT

--- a/src/LCF/ROOT	Tue Jul 24 20:41:50 2012 +0200
+++ b/src/LCF/ROOT	Tue Jul 24 20:42:34 2012 +0200
@@ -3,6 +3,7 @@
     Author:     Tobias Nipkow
     Copyright   1992  University of Cambridge
   *}
+  options [document = false]
   theories LCF
 
 session ex = LCF +
@@ -12,5 +13,10 @@
 
     Some examples from Lawrence Paulson's book Logic and Computation.
   *}
-  theories Ex1 Ex2 Ex3 Ex4
+  options [document = false]
+  theories
+    Ex1
+    Ex2
+    Ex3
+    Ex4