Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update web description of HOLCF;
authorhuffman
Sat, 27 Nov 2010 17:29:21 -0800
changeset 40776 cce37f6d4b69
parent 40775 ed7a4eadb2f6
child 40777 4898bae6ef23
update web description of HOLCF; fix broken link to HOLCF/index.html
lib/html/library_index_content.template file | annotate | diff | comparison | revisions 
--- a/lib/html/library_index_content.template	Sat Nov 27 17:14:29 2010 -0800
+++ b/lib/html/library_index_content.template	Sat Nov 27 17:29:21 2010 -0800
@@ -8,9 +8,11 @@
         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
         </li>
 
-        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
-        adds Scott's Logic for Computable Functions (domain theory) to HOL.
-        </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