| author | paulson |
| Fri, 26 May 2000 18:08:46 +0200 | |
| changeset 8989 | 8791e3304748 |
| parent 8920 | af5e09b6c208 |
| permissions | -rw-r--r-- |
<!-- $Id$ --> <html> <head> <title>HOL/AxClasses/Tutorial</title> </head> <body> <h1>HOL/AxClasses/Tutorial</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>