changeset 1112 | 737a1a0df754 |
parent 350 | d9ebca601847 |
child 1647 | f42776cced4c |
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}\@}