# 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 - + More Church-Rosser Proofs (in Isabelle/HOL) describes the whole theory.
Last modified 5/11/96 +
Last modified 20.5.2000