src/HOL/AxClasses/Group/ROOT.ML
author wenzelm
Tue May 30 16:08:38 2000 +0200 (2000-05-30)
changeset 9000 c20d58286a51
parent 7650 c3e5e85de4c3
permissions -rw-r--r--
cleaned up;
     1 (*  Title:      HOL/AxClasses/Group/ROOT.ML
     2     ID:         $Id$
     3     Author:     Markus Wenzel, TU Muenchen
     4 
     5 Some bits of group theory via axiomatic type classes.
     6 *)
     7 
     8 set show_types;
     9 set show_sorts;
    10 
    11 time_use_thy "Monoid";
    12 time_use_thy "Group";
    13 time_use_thy "MonoidGroupInsts";
    14 time_use_thy "GroupInsts";