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.
Messed up last update.
authornipkow
Thu, 04 Apr 1996 17:31:37 +0200
changeset 1648 60ded8c1748c
parent 1647 f42776cced4c
child 1649 c4901f7161c5
Messed up last update.
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/iman.sty	Thu Apr 04 17:27:08 1996 +0200
+++ b/doc-src/iman.sty	Thu Apr 04 17:31:37 1996 +0200
@@ -108,7 +108,7 @@
 \def\LCF{{\tt LCF}\@}
 \def\FOL{{\tt FOL}\@}
 \def\HOL{{\tt HOL}\@}
-\def\HOL{{\tt HOLCF}\@}
+\def\HOLCF{{\tt HOLCF}\@}
 \def\LK{{\tt LK}\@}
 \def\ZF{{\tt ZF}\@}
 \def\CTT{{\tt CTT}\@}
isabelle