Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/html/library_index_content.template
changeset 41558 236cd8f07f7b
parent 40776 cce37f6d4b69
child 41580 220bc60c2387 
--- 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>
isabelle