# 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