src/HOL/Main.thy
changeset 19607 07eeb832f28d
parent 18510 0a6c24f549c3
child 19608 81fe44909dd5
     1.1 --- a/src/HOL/Main.thy	Tue May 09 11:00:32 2006 +0200
     1.2 +++ b/src/HOL/Main.thy	Tue May 09 14:18:40 2006 +0200
     1.3 @@ -11,8 +11,6 @@
     1.4  text {*
     1.5    Theory @{text Main} includes everything.  Note that theory @{text
     1.6    PreList} already includes most HOL theories.
     1.7 -*}
     1.8 -
     1.9  
    1.10  text {* \medskip Late clause setup: installs \emph{all} simprules and
    1.11    claset rules into the clause cache; cf.\ theory @{text