--- a/src/HOL/AxClasses/Group/Group.ML Thu Oct 09 15:03:06 1997 +0200
+++ b/src/HOL/AxClasses/Group/Group.ML Thu Oct 09 15:04:21 1997 +0200
@@ -5,8 +5,6 @@
Some basic theorems of group theory.
*)
-open Group;
-
fun sub r = standard (r RS subst);
fun ssub r = standard (r RS ssubst);