# HG changeset patch
# User wenzelm
# Date 876402261 -7200
# Node ID 151d49052228c05930c66a719dd3df9221a0e7e5
# Parent  46b255e140dc9b9b5a2ac9cb2468a3614dc78319
removed open;

diff -r 46b255e140dc -r 151d49052228 src/HOL/AxClasses/Group/Group.ML
--- 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);