src/HOL/AxClasses/README.html
author haftmann
Tue, 04 Oct 2005 10:55:14 +0200
changeset 17748 c93279ba600a
parent 15582 7219facb3fd0
permissions -rw-r--r--
fixed broken link
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15283
f21466450330 DOCTYPE declaration added
webertj
parents: 10134
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
f21466450330 DOCTYPE declaration added
webertj
parents: 10134
diff changeset
     2
10134
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
     3
<!-- $Id$ -->
15582
7219facb3fd0 HTML 4.01 Transitional conformity
webertj
parents: 15283
diff changeset
     4
10134
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
     5
<html>
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
     6
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
     7
<head>
15582
7219facb3fd0 HTML 4.01 Transitional conformity
webertj
parents: 15283
diff changeset
     8
  <meta http-equiv="content-type" content="text/html;charset=iso-8859-1">
7219facb3fd0 HTML 4.01 Transitional conformity
webertj
parents: 15283
diff changeset
     9
  <title>HOL/AxClasses</title>
10134
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    10
</head>
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    11
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    12
<body>
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    13
<h1>HOL/AxClasses</h1>
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    14
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    15
These are the HOL examples of the tutorial <a
17748
c93279ba600a fixed broken link
haftmann
parents: 15582
diff changeset
    16
href="http://isabelle.in.tum.de/dist/Isabelle/doc/axclass.pdf">Using Axiomatic Type
10134
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    17
Classes in Isabelle</a>.  See also FOL/ex/NatClass for the natural
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    18
number example.
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    19
</body>
537206cc738f moved axclass tutorial examples to top dir;
wenzelm
parents:
diff changeset
    20
</html>