src/CTT/ROOT

--- a/src/CTT/ROOT	Fri Jul 15 11:26:40 2016 +0200
+++ b/src/CTT/ROOT	Fri Jul 15 15:19:04 2016 +0200
@@ -16,12 +16,12 @@
     Simon Thompson, Type Theory and Functional Programming (Addison-Wesley,
     1991)
   *}
-  options [document = false]
+  options [thy_output_source]
   theories
     Main
-
-    (* Examples for Constructive Type Theory *)
     "ex/Typechecking"
     "ex/Elimination"
     "ex/Equality"
     "ex/Synthesis"
+  document_files
+    "root.tex"