| author | wenzelm |
| Thu, 04 Oct 2001 15:29:22 +0200 | |
| changeset 11679 | afdbee613f58 |
| parent 10134 | 537206cc738f |
| child 15283 | f21466450330 |
| permissions | -rw-r--r-- |
| 10134 | 1 |
<!-- $Id$ --> |
2 |
<html> |
|
3 |
||
4 |
<head> |
|
5 |
<title>HOL/AxClasses</title> |
|
6 |
</head> |
|
7 |
||
8 |
<body> |
|
9 |
<h1>HOL/AxClasses</h1> |
|
10 |
||
11 |
These are the HOL examples of the tutorial <a |
|
12 |
href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type |
|
13 |
Classes in Isabelle</a>. See also FOL/ex/NatClass for the natural |
|
14 |
number example. |
|
15 |
||
16 |
</body> |
|
17 |
</html> |