--- a/src/HOL/Main.thy Fri Aug 18 12:34:48 2000 +0200
+++ b/src/HOL/Main.thy Fri Aug 18 17:53:49 2000 +0200
@@ -2,4 +2,7 @@
(*theory Main includes everything; note that theory
PreList already includes most HOL theories*)
-Main = Map + String
+theory Main = Map + String:
+
+end
+