doc-src/iman.sty
changeset 1647 f42776cced4c
parent 1112 737a1a0df754
child 1648 60ded8c1748c
equal deleted inserted replaced
1646:f48fafc18a88 1647:f42776cced4c
   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\HOL{{\tt HOLCF}\@}
   112 \def\LK{{\tt LK}\@}
   112 \def\LK{{\tt LK}\@}
   113 \def\ZF{{\tt ZF}\@}
   113 \def\ZF{{\tt ZF}\@}
   114 \def\CTT{{\tt CTT}\@}
   114 \def\CTT{{\tt CTT}\@}
   115 \def\Cube{{\tt Cube}}
   115 \def\Cube{{\tt Cube}}
   116 \def\Modal{{\tt Modal}}
   116 \def\Modal{{\tt Modal}}