# HG changeset patch
# User nipkow
# Date 828631628 -7200
# Node ID f42776cced4c70015f6035dec3a9d118808ebc0d
# Parent  f48fafc18a8893b37cf82d2438ad6f9f0d35fdb7
Replaced \CHOL by \HOLCF

diff -r f48fafc18a88 -r f42776cced4c doc-src/iman.sty
--- a/doc-src/iman.sty	Thu Apr 04 15:34:52 1996 +0200
+++ b/doc-src/iman.sty	Thu Apr 04 17:27:08 1996 +0200
@@ -108,7 +108,7 @@
 \def\LCF{{\tt LCF}\@}
 \def\FOL{{\tt FOL}\@}
 \def\HOL{{\tt HOL}\@}
-\def\CHOL{{\tt CHOL}\@}
+\def\HOL{{\tt HOLCF}\@}
 \def\LK{{\tt LK}\@}
 \def\ZF{{\tt ZF}\@}
 \def\CTT{{\tt CTT}\@}