author | nipkow |
Sat, 20 May 2000 15:15:02 +0200 | |
changeset 8888 | 343c304e714a |
parent 8887 | c0c583ce0b0b |
child 8889 | 2ec6371fde54 |
--- 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>