tuned;
authorwenzelm
Sat Oct 30 20:21:46 1999 +0200 (1999-10-30)
changeset 7983d823fdcc0645
parent 7982 d534b897ce39
child 7984 86c0cc789f61
tuned;
src/HOL/README.html
     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