tuned;
authorwenzelm
Tue Feb 13 22:04:09 2001 +0100 (2001-02-13)
changeset 111113b8efc0ead02
parent 11110 306beb99e192
child 11112 2fea4923864f
tuned;
lib/html/index.html
     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