added \CHOL

--- a/doc-src/iman.sty	Thu May 04 14:57:06 1995 +0200
+++ b/doc-src/iman.sty	Tue May 09 10:42:23 1995 +0200
@@ -108,6 +108,7 @@
 \def\LCF{{\tt LCF}\@}
 \def\FOL{{\tt FOL}\@}
 \def\HOL{{\tt HOL}\@}
+\def\CHOL{{\tt CHOL}\@}
 \def\LK{{\tt LK}\@}
 \def\ZF{{\tt ZF}\@}
 \def\CTT{{\tt CTT}\@}