author | kleing |
Wed, 07 Jan 2004 07:52:12 +0100 | |
changeset 14343 | 6bc647f472b9 |
parent 10134 | 537206cc738f |
child 15283 | f21466450330 |
permissions | -rw-r--r-- |
<!-- $Id$ --> <html> <head> <title>HOL/AxClasses</title> </head> <body> <h1>HOL/AxClasses</h1> These are the HOL examples of the tutorial <a href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type Classes in Isabelle</a>. See also FOL/ex/NatClass for the natural number example. </body> </html>