src/HOL/Main.thy

--- a/src/HOL/Main.thy	Tue Apr 22 08:33:09 2008 +0200
+++ b/src/HOL/Main.thy	Tue Apr 22 08:33:10 2008 +0200
@@ -8,11 +8,6 @@
 imports Map
 begin
 
-text {*
-  Theory @{text Main} includes everything.  Note that theory @{text
-  PreList} already includes most HOL theories.
-*}
-
 ML {* val HOL_proofs = ! Proofterm.proofs *}
 
 ML {* path_add "~~/src/HOL/Library" *}