# HG changeset patch
# User nipkow
# Date 828621367 -7200
# Node ID be85d119a805c20f7798f4d9f390502c04194ceb
# Parent  681f70ca3cf72961218ebb2e1734b7a348d68813
Moved link to paper.

diff -r 681f70ca3cf7 -r be85d119a805 src/HOL/Lambda/README.html
--- a/src/HOL/Lambda/README.html	Thu Apr 04 13:28:50 1996 +0200
+++ b/src/HOL/Lambda/README.html	Thu Apr 04 14:36:07 1996 +0200
@@ -9,14 +9,14 @@
 <P>
 
 
-The report 
-<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/church-rosser.html">
+The paper
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/cade96.html">
 More Church-Rosser Proofs (in Isabelle/HOL)</A>
 describes the whole theory.
 
 <HR>
 
-<P>Last modified 5 March 1996
+<P>Last modified 4 April 1996
 
 </BODY>
 </HTML>