# HG changeset patch
# User wenzelm
# Date 941307706 -7200
# Node ID d823fdcc0645b56c3c680d2b029fffd6b860329c
# Parent  d534b897ce398cd9eace7f008033e366fb51453d
tuned;

diff -r d534b897ce39 -r d823fdcc0645 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