author | wenzelm |
Sat, 30 Oct 1999 20:20:48 +0200 | |
changeset 7982 | d534b897ce39 |
parent 7650 | c3e5e85de4c3 |
child 9000 | c20d58286a51 |
permissions | -rw-r--r-- |
1247 | 1 |
(* Title: HOL/AxClasses/Group/ROOT.ML |
2 |
ID: $Id$ |
|
3 |
Author: Markus Wenzel, TU Muenchen |
|
4 |
||
1442 | 5 |
Some bits of group theory via axiomatic type classes. |
1247 | 6 |
*) |
7 |
||
8 |
set show_types; |
|
9 |
set show_sorts; |
|
10 |
||
11 |
use_thy "Monoid"; |
|
12 |
use_thy "Group"; |
|
13 |
use_thy "MonoidGroupInsts"; |
|
14 |
use_thy "GroupInsts"; |