src/HOL/README.html

--- a/src/HOL/README.html	Sat Sep 02 21:53:03 2000 +0200
+++ b/src/HOL/README.html	Sat Sep 02 21:56:24 2000 +0200
@@ -54,7 +54,7 @@
 <DD>several introductory Isabelle/Isar examples
 
 <DT>Lambda
-<DD>a proof of the Church-Rosser theorem for lambda-calculus
+<DD>fundamental properties of lambda-calculus (Church-Rosser and termination)
 
 <DT>Lex
 <DD>verification of a simple lexical analyzer generator