# HG changeset patch
# User nipkow
# Date 958828502 -7200
# Node ID 343c304e714acd2d62415b5130a7044129dbf012
# Parent  c0c583ce0b0b2ad68996bafbe3861832e1fffc45
fixed link

diff -r c0c583ce0b0b -r 343c304e714a src/HOL/Lambda/README.html
--- a/src/HOL/Lambda/README.html	Thu May 18 19:10:08 2000 +0200
+++ b/src/HOL/Lambda/README.html	Sat May 20 15:15:02 2000 +0200
@@ -10,13 +10,13 @@
 
 
 The paper
-<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ic.html">
+<A HREF="http://www.in.tum.de/~nipkow/pubs/jar2000.html">
 More Church-Rosser Proofs (in Isabelle/HOL)</A>
 describes the whole theory.
 
 <HR>
 
-<P>Last modified 5/11/96
+<P>Last modified 20.5.2000
 
 </BODY>
 </HTML>