src/HOL/README.html

--- a/src/HOL/README.html	Tue Oct 20 19:52:04 2009 +0200
+++ b/src/HOL/README.html	Tue Oct 20 20:03:23 2009 +0200
@@ -99,7 +99,7 @@
 <dt>Hahn_Banach
 <dd>the Hahn-Banach theorem for real vector spaces (in Isabelle/Isar)
 
-<dt>SET-Protocol
+<dt>SET_Protocol
 <dd>verification of the SET Protocol
 
 <dt>Subst