# HG changeset patch
# User nipkow
# Date 1026804971 -7200
# Node ID ece4b151f963dcab5598a8444692196b557419c0
# Parent  982827aacb3908873cb9500ecb7132d27428467b
*** empty log message ***

diff -r 982827aacb39 -r ece4b151f963 src/HOL/Lambda/README.html
--- a/src/HOL/Lambda/README.html	Mon Jul 15 15:28:51 2002 +0200
+++ b/src/HOL/Lambda/README.html	Tue Jul 16 09:36:11 2002 +0200
@@ -10,7 +10,7 @@
 
 
 The paper
-<A HREF="http://www.in.tum.de/~nipkow/pubs/jar2000.html">
+<A HREF="http://www.in.tum.de/~nipkow/pubs/jar2001.html">
 More Church-Rosser Proofs (in Isabelle/HOL)</A>
 describes the whole theory.