src/HOL/AxClasses/Group/MonoidGroupInsts.thy
author wenzelm
Wed, 29 Sep 1999 14:40:15 +0200
changeset 7651 e853cd3f3ede
parent 1247 18b1441fb603
permissions -rw-r--r--
tuned;

(*  Title:      MonoidGroupInsts.thy
    ID:         $Id$
    Author:     Markus Wenzel, TU Muenchen

Some class inclusions or 'abstract instantiations'.
*)

MonoidGroupInsts = Group + Monoid +


(* monoids are semigroups *)

instance
  monoid < semigroup            (Monoid.assoc)


(* groups are monoids *)

instance
  group < monoid                ("Group.assoc", "Group.left_unit", "Group.right_unit")

end