--- a/src/HOL/AxClasses/README.html Wed Feb 03 17:33:20 1999 +0100
+++ b/src/HOL/AxClasses/README.html Wed Feb 03 17:33:41 1999 +0100
@@ -7,10 +7,8 @@
<DL>
-<DT> Tutorial
-<DD> Some simple axclass demos that go along with the paper <A
-HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
-"Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
+<DT> Tutorial <DD> Some simple axclass demos that go along with the
+<em>axclass</em> Isabelle document (<tt>isatool doc axclass</tt>).
<P>