src/HOL/AxClasses/Group/MonoidGroupInsts.thy
changeset 7651 e853cd3f3ede
parent 1247 18b1441fb603
equal deleted inserted replaced
7650:c3e5e85de4c3 7651:e853cd3f3ede
    15 
    15 
    16 
    16 
    17 (* groups are monoids *)
    17 (* groups are monoids *)
    18 
    18 
    19 instance
    19 instance
    20   group < monoid                (assoc, left_unit, right_unit)
    20   group < monoid                ("Group.assoc", "Group.left_unit", "Group.right_unit")
    21 
    21 
    22 end
    22 end