| changeset 3279 | 815ef5848324 |
| parent 2666 | 995d34955791 |
| child 6215 | 6165747678ba |
| 3278:636322bfd057 | 3279:815ef5848324 |
|---|---|
1 <HTML><HEAD><TITLE>HOL/AxClasses/ReadMe</TITLE></HEAD><BODY> |
1 <HTML><HEAD><TITLE>HOL/AxClasses/README</TITLE></HEAD><BODY> |
2 |
|
3 <h2>Axiomatic type classes</h2> |
|
2 |
4 |
3 This directory contains the following axiomatic type class examples: |
5 This directory contains the following axiomatic type class examples: |
4 |
6 |
5 |
7 |
6 <DL> |
8 <DL> |