lib/html/index.html
changeset 11111 3b8efc0ead02
parent 8810 d0eae42f6d12
child 14638 0bc0440fcdb9
     1.1 --- a/lib/html/index.html	Tue Feb 13 16:48:36 2001 +0100
     1.2 +++ b/lib/html/index.html	Tue Feb 13 22:04:09 2001 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  Higher-Order Logic
     1.5  
     1.6  <ul>
     1.7 -<li><a href="HOL/index.html"> HOL (Simply-typed Set Theory)</a>
     1.8 +<li><a href="HOL/index.html">HOL (Simply-typed Set Theory)</a>
     1.9  <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    1.10  </ul>
    1.11