(* 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;
time_use_thy "Monoid";
time_use_thy "Group";
time_use_thy "MonoidGroupInsts";
time_use_thy "GroupInsts";