# HG changeset patch
# User wenzelm
# Date 938608815 -7200
# Node ID e853cd3f3ede22311fe83ae94a19d440842f869e
# Parent  c3e5e85de4c3ceecb8219b878ae7efdc8d9210d9
tuned;

diff -r c3e5e85de4c3 -r e853cd3f3ede src/HOL/AxClasses/Group/MonoidGroupInsts.thy
--- a/src/HOL/AxClasses/Group/MonoidGroupInsts.thy	Wed Sep 29 14:40:07 1999 +0200
+++ b/src/HOL/AxClasses/Group/MonoidGroupInsts.thy	Wed Sep 29 14:40:15 1999 +0200
@@ -17,6 +17,6 @@
 (* groups are monoids *)
 
 instance
-  group < monoid                (assoc, left_unit, right_unit)
+  group < monoid                ("Group.assoc", "Group.left_unit", "Group.right_unit")
 
 end