src/HOL/AxClasses/Group/ROOT.ML
author wenzelm
Sat, 30 Oct 1999 20:20:48 +0200
changeset 7982 d534b897ce39
parent 7650 c3e5e85de4c3
child 9000 c20d58286a51
permissions -rw-r--r--
improved presentation;

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