diff -r 1ce1f62768bd -r c93279ba600a src/HOL/AxClasses/README.html
--- a/src/HOL/AxClasses/README.html	Tue Oct 04 10:52:43 2005 +0200
+++ b/src/HOL/AxClasses/README.html	Tue Oct 04 10:55:14 2005 +0200
@@ -13,7 +13,7 @@
 <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
+href="http://isabelle.in.tum.de/dist/Isabelle/doc/axclass.pdf">Using Axiomatic Type
 Classes in Isabelle</a>.  See also FOL/ex/NatClass for the natural
 number example.
 </body>