src/FOLP/ROOT

--- a/src/FOLP/ROOT	Mon Oct 30 19:36:27 2017 +0100
+++ b/src/FOLP/ROOT	Mon Oct 30 20:04:10 2017 +0100
@@ -9,7 +9,6 @@
 
     Presence of unknown proof term means that matching does not behave as expected.
   *}
-  options [document = false]
   theories
     IFOLP (global)
     FOLP (global)
@@ -21,7 +20,6 @@
 
     Examples for First-Order Logic.
   *}
-  options [document = false]
   theories
     Intro
     Nat
@@ -33,4 +31,3 @@
     Quantifiers_Int
     Propositional_Cla
     Quantifiers_Cla
-