1.1 --- a/lib/html/library_index_content.template	Sat Jan 15 00:06:01 2011 +0100
     1.2 +++ b/lib/html/library_index_content.template	Sat Jan 15 00:14:17 2011 +0100
     1.3 @@ -7,12 +7,6 @@
     1.4          is a version of classical higher-order logic resembling
     1.5          that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
     1.6          </li>
     1.7 -
     1.8 -        <ul>
     1.9 -          <li><a href="HOL/HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    1.10 -          formalizes a model of Scott's Logic for Computable Functions (domain theory) in HOL.
    1.11 -          </li>
    1.12 -        </ul>
    1.13        </ul>
    1.14      </li>
    1.15    </ul>