equal
deleted
inserted
replaced
|
1 <HTML><HEAD><TITLE>HOL/AxClasses/ReadMe</TITLE></HEAD><BODY> |
|
2 |
|
3 This directory contains the following axiomatic type class examples: |
|
4 |
|
5 |
|
6 <DL> |
|
7 |
|
8 <DT> Tutorial |
|
9 <DD> Some simple axclass demos that go along with the paper <A |
|
10 HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz"> |
|
11 "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A> |
|
12 |
|
13 <P> |
|
14 |
|
15 <DT> Group |
|
16 <DD> Some bits of group theory. |
|
17 |
|
18 <P> |
|
19 |
|
20 <DT> Lattice |
|
21 <DD> Basic theory of lattices and orders. |
|
22 |
|
23 </DL> |
|
24 |
|
25 </BODY></HTML> |