removed force_strip_shyps;

--- a/src/HOL/AxClasses/Group/ROOT.ML	Wed Sep 29 14:39:35 1999 +0200
+++ b/src/HOL/AxClasses/Group/ROOT.ML	Wed Sep 29 14:40:07 1999 +0200
@@ -8,18 +8,7 @@
 set show_types;
 set show_sorts;
 
-(*disable bug compatibility*)
-reset force_strip_shyps;
-
-set force_strip_shyps; (* FIXME tmp hack *)
-
-
-use_thy "Sigs";
-
 use_thy "Monoid";
 use_thy "Group";
-
 use_thy "MonoidGroupInsts";
-
-use_thy "GroupDefs";
 use_thy "GroupInsts";