src/HOL/Main.thy

--- a/src/HOL/Main.thy	Tue May 09 14:18:40 2006 +0200
+++ b/src/HOL/Main.thy	Wed May 10 16:23:21 2006 +0200
@@ -11,6 +11,7 @@
 text {*
   Theory @{text Main} includes everything.  Note that theory @{text
   PreList} already includes most HOL theories.
+*}
 
 text {* \medskip Late clause setup: installs \emph{all} simprules and
   claset rules into the clause cache; cf.\ theory @{text