1247
|
1 |
|
|
2 |
$id$
|
|
3 |
|
|
4 |
This directory contains some axiomatic type class demos.
|
|
5 |
|
|
6 |
|
|
7 |
Tutorial/ Some simple axclass demos that go along with the paper
|
|
8 |
"Using Axiomatic Type Classes in Isabelle --- a
|
|
9 |
tutorial".
|
|
10 |
|
|
11 |
Group/ Basic group theory with axiomatic type classes.
|