added \CHOL
authorclasohm
Tue May 09 10:42:23 1995 +0200 (1995-05-09)
changeset 1112737a1a0df754
parent 1111 ba34f9764816
child 1113 dd7284573601
added \CHOL
doc-src/iman.sty
     1.1 --- a/doc-src/iman.sty	Thu May 04 14:57:06 1995 +0200
     1.2 +++ b/doc-src/iman.sty	Tue May 09 10:42:23 1995 +0200
     1.3 @@ -108,6 +108,7 @@
     1.4  \def\LCF{{\tt LCF}\@}
     1.5  \def\FOL{{\tt FOL}\@}
     1.6  \def\HOL{{\tt HOL}\@}
     1.7 +\def\CHOL{{\tt CHOL}\@}
     1.8  \def\LK{{\tt LK}\@}
     1.9  \def\ZF{{\tt ZF}\@}
    1.10  \def\CTT{{\tt CTT}\@}