# HG changeset patch
# User nipkow
# Date 847215340 -3600
# Node ID f53171d7f86ca65749ce9c51d0c4a4338984b3c4
# Parent  c25714ca1c197883a0a45ec2afb2663a5195ce12
New version of paper.

diff -r c25714ca1c19 -r f53171d7f86c src/HOL/Lambda/README.html
--- a/src/HOL/Lambda/README.html	Tue Nov 05 11:48:09 1996 +0100
+++ b/src/HOL/Lambda/README.html	Tue Nov 05 18:35:40 1996 +0100
@@ -10,13 +10,13 @@
 
 
 The paper
-<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/cade96.html">
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ic.html">
 More Church-Rosser Proofs (in Isabelle/HOL)</A>
 describes the whole theory.
 
 <HR>
 
-<P>Last modified 4 April 1996
+<P>Last modified 5/11/96
 
 </BODY>
 </HTML>