equal
deleted
inserted
replaced
11 |
11 |
12 <body> |
12 <body> |
13 <h1>HOL/AxClasses</h1> |
13 <h1>HOL/AxClasses</h1> |
14 |
14 |
15 These are the HOL examples of the tutorial <a |
15 These are the HOL examples of the tutorial <a |
16 href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type |
16 href="http://isabelle.in.tum.de/dist/Isabelle/doc/axclass.pdf">Using Axiomatic Type |
17 Classes in Isabelle</a>. See also FOL/ex/NatClass for the natural |
17 Classes in Isabelle</a>. See also FOL/ex/NatClass for the natural |
18 number example. |
18 number example. |
19 </body> |
19 </body> |
20 </html> |
20 </html> |