# HG changeset patch
# User wenzelm
# Date 1295046857 -3600
# Node ID 236cd8f07f7b9830aa678fbbf85ddd23946860de
# Parent  b46ec69f1c6018321101e08d6075ee719dc4cc0d
treat HOLCF as HOL library session, not as "logic";

diff -r b46ec69f1c60 -r 236cd8f07f7b lib/html/library_index_content.template
--- 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>