doc-src/iman.sty
changeset 1648 60ded8c1748c
parent 1647 f42776cced4c
child 3096 ccc2c92bb232
     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}\@}