author | nipkow |
Thu, 04 Apr 1996 17:31:37 +0200 | |
changeset 1648 | 60ded8c1748c |
parent 1647 | f42776cced4c |
child 1649 | c4901f7161c5 |
doc-src/iman.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/iman.sty Thu Apr 04 17:27:08 1996 +0200 1.2 +++ b/doc-src/iman.sty Thu Apr 04 17:31:37 1996 +0200 1.3 @@ -108,7 +108,7 @@ 1.4 \def\LCF{{\tt LCF}\@} 1.5 \def\FOL{{\tt FOL}\@} 1.6 \def\HOL{{\tt HOL}\@} 1.7 -\def\HOL{{\tt HOLCF}\@} 1.8 +\def\HOLCF{{\tt HOLCF}\@} 1.9 \def\LK{{\tt LK}\@} 1.10 \def\ZF{{\tt ZF}\@} 1.11 \def\CTT{{\tt CTT}\@}