src/HOL/Main.thy

--- a/src/HOL/Main.thy	Fri Nov 24 14:09:09 2000 +0100
+++ b/src/HOL/Main.thy	Fri Nov 24 16:49:27 2000 +0100
@@ -1,6 +1,11 @@
+(*  Title:      HOL/Main.thy
+    ID:         $Id$
+    Author:     Tobias Nipkow
+    Copyright   2000 TU Muenchen
 
-(*theory Main includes everything; note that theory
-  PreList already includes most HOL theories*)
+Theory Main includes everything.
+Note that theory PreList already includes most HOL theories.
+*)
 
 theory Main = Map + String: