src/HOL/README.html

--- a/src/HOL/README.html	Wed Jun 24 21:28:02 2009 +0200
+++ b/src/HOL/README.html	Wed Jun 24 21:46:54 2009 +0200
@@ -96,7 +96,7 @@
 <dt>Real
 <dd>the real numbers, part of Complex
 
-<dt>Real/HahnBanach
+<dt>Hahn_Banach
 <dd>the Hahn-Banach theorem for real vector spaces (in Isabelle/Isar)
 
 <dt>SET-Protocol