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.
typo
authorkleing
Thu, 22 Apr 2004 09:23:13 +0200
changeset 14639 ccc06bd860eb
parent 14638 0bc0440fcdb9
child 14640 b31870c50c68
typo
lib/html/index.html file | annotate | diff | comparison | revisions 
--- a/lib/html/index.html	Thu Apr 22 09:19:28 2004 +0200
+++ b/lib/html/index.html	Thu Apr 22 09:23:13 2004 +0200
@@ -28,7 +28,7 @@
 Higher-Order Logic
 
 <ul>
-<li><a href="HOL/index.html">HOL (Higher Order Logic)</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