src/CTT/ROOT

--- a/src/CTT/ROOT	Sun Apr 09 19:03:55 2017 +0200
+++ b/src/CTT/ROOT	Sun Apr 09 19:56:52 2017 +0200
@@ -18,7 +18,7 @@
   *}
   options [thy_output_source]
   theories
-    Main
+    CTT
     "ex/Typechecking"
     "ex/Elimination"
     "ex/Equality"