# HG changeset patch
# User wenzelm
# Date 1147271001 -7200
# Node ID 81fe44909dd5046d3efaad1d26e8cb27d78927c0
# Parent  07eeb832f28dd2ee7d2e0e084cc263138d084b8f
revert accidental text change;

diff -r 07eeb832f28d -r 81fe44909dd5 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