src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri Oct 06 14:43:26 1995 +0100
+++ b/src/HOL/ROOT.ML	Fri Oct 06 16:17:08 1995 +0100
@@ -61,6 +61,7 @@
                      addSEs [exE,ex1E] addEs [allE];
 
 use     "simpdata.ML";
+
 use_thy "Ord";
 use_thy "subset";
 use     "hologic.ML";