1.1 --- a/src/HOL/README.html	Sat Oct 30 20:20:48 1999 +0200
     1.2 +++ b/src/HOL/README.html	Sat Oct 30 20:21:46 1999 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  <DD>a simple theory of Input/Output Automata
     1.5  
     1.6  <DT>Isar_examples
     1.7 -<DD>several Isabelle/Isar example proof documents
     1.8 +<DD>several introductory Isabelle/Isar examples
     1.9  
    1.10  <DT>Lambda
    1.11  <DD>a proof of the Church-Rosser theorem for lambda-calculus