src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Tue Jul 12 12:49:46 2005 +0200
+++ b/src/HOL/HOL.thy	Tue Jul 12 17:56:03 2005 +0200
@@ -9,6 +9,7 @@
 imports CPure
 uses ("cladata.ML") ("blastdata.ML") ("simpdata.ML") ("eqrule_HOL_data.ML")
       ("~~/src/Provers/eqsubst.ML")
+
 begin
 
 subsection {* Primitive logic *}