doc-src/iman.sty
changeset 1112 737a1a0df754
parent 350 d9ebca601847
child 1647 f42776cced4c
equal deleted inserted replaced
1111:ba34f9764816 1112:737a1a0df754
   106 \def\AST{{\sc ast}}
   106 \def\AST{{\sc ast}}
   107 
   107 
   108 \def\LCF{{\tt LCF}\@}
   108 \def\LCF{{\tt LCF}\@}
   109 \def\FOL{{\tt FOL}\@}
   109 \def\FOL{{\tt FOL}\@}
   110 \def\HOL{{\tt HOL}\@}
   110 \def\HOL{{\tt HOL}\@}
       
   111 \def\CHOL{{\tt CHOL}\@}
   111 \def\LK{{\tt LK}\@}
   112 \def\LK{{\tt LK}\@}
   112 \def\ZF{{\tt ZF}\@}
   113 \def\ZF{{\tt ZF}\@}
   113 \def\CTT{{\tt CTT}\@}
   114 \def\CTT{{\tt CTT}\@}
   114 \def\Cube{{\tt Cube}}
   115 \def\Cube{{\tt Cube}}
   115 \def\Modal{{\tt Modal}}
   116 \def\Modal{{\tt Modal}}