author | wenzelm |
Fri, 01 Sep 1995 14:27:36 +0200 | |
changeset 1247 | 18b1441fb603 |
child 7651 | e853cd3f3ede |
permissions | -rw-r--r-- |
(* 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 (assoc, left_unit, right_unit) end