src/HOL/README.html
changeset 7983 d823fdcc0645
parent 7691 b7e8277fa088
child 9811 39ffdb8cab03
     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