src/HOL/README.html
changeset 33028 9aa8bfb1649d
parent 33026 8f35633c4922
child 36862 952b2b102a0a
     1.1 --- a/src/HOL/README.html	Tue Oct 20 19:52:04 2009 +0200
     1.2 +++ b/src/HOL/README.html	Tue Oct 20 20:03:23 2009 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4  <dt>Hahn_Banach
     1.5  <dd>the Hahn-Banach theorem for real vector spaces (in Isabelle/Isar)
     1.6  
     1.7 -<dt>SET-Protocol
     1.8 +<dt>SET_Protocol
     1.9  <dd>verification of the SET Protocol
    1.10  
    1.11  <dt>Subst