Now hologic.ML is loaded in HOL.ML

--- a/src/HOL/ROOT.ML	Thu Sep 12 10:34:21 1996 +0200
+++ b/src/HOL/ROOT.ML	Thu Sep 12 10:35:11 1996 +0200
@@ -22,10 +22,8 @@
 
 
 use_thy "HOL";
-
 use_thy "Ord";
 use_thy "subset";
-use     "hologic.ML";
 use     "typedef.ML";
 use_thy "Sum";
 use_thy "Gfp";