author | wenzelm |
Mon, 22 May 2000 13:29:21 +0200 | |
changeset 8920 | af5e09b6c208 |
permissions | -rw-r--r-- |
8920 | 1 |
<!-- $Id$ --> |
2 |
<html> |
|
3 |
||
4 |
<head> |
|
5 |
<title>HOL/AxClasses/Tutorial</title> |
|
6 |
</head> |
|
7 |
||
8 |
<body> |
|
9 |
<h1>HOL/AxClasses/Tutorial</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> |