Messed up last update.
authornipkow
Thu Apr 04 17:31:37 1996 +0200 (1996-04-04)
changeset 164860ded8c1748c
parent 1647 f42776cced4c
child 1649 c4901f7161c5
Messed up last update.
doc-src/iman.sty
     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}\@}