diff -r cc038dc8f412 -r 8f35633c4922 src/HOL/README.html
--- 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