author | wenzelm |
Sat, 29 May 2004 16:47:06 +0200 | |
changeset 14846 | b1fcade3880b |
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> |