# HG changeset patch
# User nipkow
# Date 825009919 -3600
# Node ID 03b770044429263e095024a31d8d424e06c7dd38
# Parent  d2f865740d8eea26c49cbc3af7f9efa1d1a3514b
Moved documentation

diff -r d2f865740d8e -r 03b770044429 src/HOL/Lambda/README.html
--- 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>