src/HOL/AxClasses/Group/ROOT.ML

Goal: tuned pris;

(*  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";