# HG changeset patch
# User wenzelm
# Date 918059621 -3600
# Node ID 6165747678baaf18808a268c0424ff09541487e5
# Parent  0513cfd1a5988548a056e752d4d2f2fef2d13ae9
tuned;

diff -r 0513cfd1a598 -r 6165747678ba src/HOL/AxClasses/README.html
--- 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>