--- a/src/HOL/Lambda/README.html Thu Feb 22 13:28:05 1996 +0100
+++ b/src/HOL/Lambda/README.html Thu Feb 22 18:25:19 1996 +0100
@@ -8,9 +8,9 @@
<P>
-A report describing the whole theory is found here: <A HREF =
-"ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/church-rosser.html"
->More Church-Rosser Proofs (in Isabelle/HOL)</A>.
+A report describing the whole theory is found here:<br>
+<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/church-rosser.html>
+More Church-Rosser Proofs (in Isabelle/HOL)</A>.
</BODY>
</HTML>