| changeset 13360 | ece4b151f963 |
| parent 8888 | 343c304e714a |
| child 15283 | f21466450330 |
--- 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.