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