src/Cube/ROOT

--- a/src/Cube/ROOT	Tue Jul 24 20:41:50 2012 +0200
+++ b/src/Cube/ROOT	Tue Jul 24 20:42:34 2012 +0200
@@ -5,5 +5,6 @@
 
     The Lambda-Cube a la Barendregt.
   *}
+  options [document = false]
   theories Example