--- 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}\@}