src/FOLP/ROOT

--- a/src/FOLP/ROOT	Tue Jul 24 20:41:50 2012 +0200
+++ b/src/FOLP/ROOT	Tue Jul 24 20:42:34 2012 +0200
@@ -7,6 +7,7 @@
 
     Presence of unknown proof term means that matching does not behave as expected.
   *}
+  options [document = false]
   theories FOLP
 
 session ex = FOLP +
@@ -16,6 +17,7 @@
 
     Examples for First-Order Logic.
   *}
+  options [document = false]
   theories
     Intro
     Nat