--- a/src/CTT/ROOT.ML Sun Dec 30 23:07:31 2007 +0100
+++ b/src/CTT/ROOT.ML Mon Dec 31 19:36:29 2007 +0100
@@ -4,7 +4,5 @@
Copyright 1991 University of Cambridge
*)
-val banner = "Constructive Type Theory";
-writeln banner;
+use_thy "Main";
-use_thy "Main";