revert accidental text change;
authorwenzelm
Wed May 10 16:23:21 2006 +0200 (2006-05-10)
changeset 1960881fe44909dd5
parent 19607 07eeb832f28d
child 19609 a677ac8c9b10
revert accidental text change;
src/HOL/Main.thy
     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