src/CTT/Main.thy

--- a/src/CTT/Main.thy	Fri Sep 16 21:02:15 2005 +0200
+++ b/src/CTT/Main.thy	Fri Sep 16 23:01:29 2005 +0200
@@ -1,6 +1,9 @@
 
-(*theory Main includes everything*)
+(* $Id$ *)
+
+header {* Main includes everything *}
 
-theory Main imports CTT Arith Bool begin
-
+theory Main
+imports CTT Arith Bool
+begin
 end