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