| changeset 2542 | 67b66b8a488b |
| parent 2541 | 70aa00ed3025 |
| child 2543 | d3064cb1e69b |
| 2541:70aa00ed3025 | 2542:67b66b8a488b |
|---|---|
1 $Id$ |
|
2 |
|
3 This directory contains the following axiomatic type class examples: |
|
4 |
|
5 Tutorial/ Some simple axclass demos that go along with the paper |
|
6 "Using Axiomatic Type Classes in Isabelle --- a |
|
7 tutorial". |
|
8 |
|
9 Group/ Some bits of group theory. |
|
10 |
|
11 Lattice/ Basic theory of lattices and orders. |