src/HOL/README.html

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