| changeset 10136 | ed576de7bddc |
| parent 10135 | c2a4dccf6e67 |
| child 10137 | d1c2bef01e2f |
--- a/src/HOL/AxClasses/Tutorial/README.html Tue Oct 03 18:34:20 2000 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,17 +0,0 @@ -<!-- $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>