diff -r 157ae17d22e5 -r 995d34955791 src/HOL/AxClasses/README.html
--- a/src/HOL/AxClasses/README.html	Thu Feb 20 16:09:41 1997 +0100
+++ b/src/HOL/AxClasses/README.html	Thu Feb 20 16:45:47 1997 +0100
@@ -7,7 +7,7 @@
 
 <DT> Tutorial
 <DD> Some simple axclass demos that go along with the paper <A
-HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
+HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
 "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
 
 <P>