--- a/src/HOL/Lambda/README.html Tue Mar 05 15:55:15 1996 +0100
+++ b/src/HOL/Lambda/README.html Tue Mar 05 16:27:01 1996 +0100
@@ -1,4 +1,4 @@
-<HTML><HEAD><TITLE>HOL/Lambda/ReadMe</TITLE></HEAD>
+<HTML><HEAD><TITLE>HOL/Lambda</TITLE></HEAD>
<BODY>
<H1>Lambda Calculus in de Bruijn's Notation</H1>
@@ -8,9 +8,10 @@
<P>
-A report describing the whole theory is found here:<br>
-<A HREF=http://www4.informatik.tu-muenchen.de/~nipkow/pubs/church-rosser.html>
-More Church-Rosser Proofs (in Isabelle/HOL)</A>.
+The report
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/church-rosser.html">
+More Church-Rosser Proofs (in Isabelle/HOL)</A>
+describes the whole theory.
</BODY>
</HTML>