author | webertj |
Sun, 14 Nov 2004 01:40:27 +0100 | |
changeset 15283 | f21466450330 |
parent 10134 | 537206cc738f |
child 15582 | 7219facb3fd0 |
permissions | -rw-r--r-- |
15283 | 1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
||
10134 | 3 |
<!-- $Id$ --> |
4 |
<html> |
|
5 |
||
6 |
<head> |
|
7 |
<title>HOL/AxClasses</title> |
|
8 |
</head> |
|
9 |
||
10 |
<body> |
|
11 |
<h1>HOL/AxClasses</h1> |
|
12 |
||
13 |
These are the HOL examples of the tutorial <a |
|
14 |
href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type |
|
15 |
Classes in Isabelle</a>. See also FOL/ex/NatClass for the natural |
|
16 |
number example. |
|
17 |
||
18 |
</body> |
|
19 |
</html> |