src/HOL/README.html
changeset 9811 39ffdb8cab03
parent 7983 d823fdcc0645
child 10163 d1972b445ece
     1.1 --- a/src/HOL/README.html	Sat Sep 02 21:53:03 2000 +0200
     1.2 +++ b/src/HOL/README.html	Sat Sep 02 21:56:24 2000 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4  <DD>several introductory Isabelle/Isar examples
     1.5  
     1.6  <DT>Lambda
     1.7 -<DD>a proof of the Church-Rosser theorem for lambda-calculus
     1.8 +<DD>fundamental properties of lambda-calculus (Church-Rosser and termination)
     1.9  
    1.10  <DT>Lex
    1.11  <DD>verification of a simple lexical analyzer generator