src/HOL/Main.thy
changeset 19608 81fe44909dd5
parent 19607 07eeb832f28d
child 20362 bbff23c3e2ca
     1.1 --- a/src/HOL/Main.thy	Tue May 09 14:18:40 2006 +0200
     1.2 +++ b/src/HOL/Main.thy	Wed May 10 16:23:21 2006 +0200
     1.3 @@ -11,6 +11,7 @@
     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  text {* \medskip Late clause setup: installs \emph{all} simprules and
    1.10    claset rules into the clause cache; cf.\ theory @{text