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.
Higher order logic more obvious than set theory
authorkleing
Thu, 22 Apr 2004 09:19:28 +0200
changeset 14638 0bc0440fcdb9
parent 14637 d258f6c11d83
child 14639 ccc06bd860eb
Higher order logic more obvious than set theory
lib/html/index.html file | annotate | diff | comparison | revisions 
--- a/lib/html/index.html	Thu Apr 22 01:20:23 2004 +0200
+++ b/lib/html/index.html	Thu Apr 22 09:19:28 2004 +0200
@@ -28,7 +28,7 @@
 Higher-Order Logic
 
 <ul>
-<li><a href="HOL/index.html">HOL (Simply-typed Set Theory)</a>
+<li><a href="HOL/index.html">HOL (Higher Order Logic)</a>
 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
 </ul>
isabelle