src/CTT/ROOT
changeset 48483 9bfb6978eb80
parent 48475 02dd825f5a4e
child 48738 f8c1a5b9488f
--- a/src/CTT/ROOT	Tue Jul 24 20:41:50 2012 +0200
+++ b/src/CTT/ROOT	Tue Jul 24 20:42:34 2012 +0200
@@ -3,6 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
   *}
+  options [document = false]
   theories Main
 
 session ex = CTT +
@@ -12,4 +13,5 @@
 
     Examples for Constructive Type Theory.
   *}
+  options [document = false]
   theories Typechecking Elimination Equality Synthesis