| changeset 22371 | c9f5895972b0 |
| parent 22359 | 94a794672c8b |
| child 22431 | 28344ccffc35 |
| 22370:44679bbcf43b | 22371:c9f5895972b0 |
|---|---|
1 (* Title: HOL/Library/Kleene_Algebras.thy |
|
2 ID: $Id$ |
|
3 Author: Alexander Krauss, TU Muenchen |
|
4 *) |
|
5 |
|
1 theory Kleene_Algebras |
6 theory Kleene_Algebras |
2 imports Main |
7 imports Main |
3 begin |
8 begin |
4 |
9 |
5 text {* A type class of kleene algebras *} |
10 text {* A type class of kleene algebras *} |