diff -r ed18feb34c07 -r fae6051ec192 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"