equal
deleted
inserted
replaced
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\HOL{{\tt HOLCF}\@} |
111 \def\HOLCF{{\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}} |