# HG changeset patch
# User haftmann
# Date 1128416114 -7200
# Node ID c93279ba600ab1a7200b2246f6d1fdf3ca130ebe
# Parent  1ce1f62768bd5cf89c7e5c01062520540168fd05
fixed broken link

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>