# HG changeset patch
# User nipkow
# Date 832668640 -7200
# Node ID 7dfc3c217414be2f5bb0d26b8de1c28da05535e8
# Parent  946efd210837fee751a74dab9db1f6a6f7eaaa27
Updated url.

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>