(* Title: HOL/AxClasses/Group/ROOT.ML ID: $Id$ Author: Markus Wenzel, TU Muenchen Some bits of group theory via axiomatic type classes. *) set show_types; set show_sorts; use_thy "Monoid"; use_thy "Group"; use_thy "MonoidGroupInsts"; use_thy "GroupInsts";