diff -r 946efd210837 -r 7dfc3c217414 src/HOL/MiniML/README.html
--- a/src/HOL/MiniML/README.html	Mon May 20 18:41:55 1996 +0200
+++ b/src/HOL/MiniML/README.html	Tue May 21 10:50:40 1996 +0200
@@ -11,7 +11,7 @@
 <P>
 
 A report describing the theory is found here:<br>
-<A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/W0.html">
+<A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/tphol96.html">
 Formal Verification of Algorithm W: The Monomorphic Case</A>.
 
 </BODY>