1.1 --- a/lib/html/library_index_content.template	Sat Nov 27 17:14:29 2010 -0800
     1.2 +++ b/lib/html/library_index_content.template	Sat Nov 27 17:29:21 2010 -0800
     1.3 @@ -8,9 +8,11 @@
     1.4          that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
     1.5          </li>
     1.6  
     1.7 -        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
     1.8 -        adds Scott's Logic for Computable Functions (domain theory) to HOL.
     1.9 -        </li>
    1.10 +        <ul>
    1.11 +          <li><a href="HOL/HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    1.12 +          formalizes a model of Scott's Logic for Computable Functions (domain theory) in HOL.
    1.13 +          </li>
    1.14 +        </ul>
    1.15        </ul>
    1.16      </li>
    1.17    </ul>