--- a/src/HOL/README.html Tue Oct 20 19:36:52 2009 +0200
+++ b/src/HOL/README.html Tue Oct 20 19:37:09 2009 +0200
@@ -60,7 +60,7 @@
<dt>IOA
<dd>a simple theory of Input/Output Automata
-<dt>Isar_examples
+<dt>Isar_Examples
<dd>several introductory examples using Isabelle/Isar
<dt>Lambda