Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 29 Sep 1999 14:40:15 +0200
changeset 7651 e853cd3f3ede
parent 7650 c3e5e85de4c3
child 7652 2db14b7298c6
tuned;
src/HOL/AxClasses/Group/MonoidGroupInsts.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle