equal
deleted
inserted
replaced
103 |
103 |
104 \def\ML{{\sc ml}} |
104 \def\ML{{\sc ml}} |
105 \def\OBJ{{\sc obj}} |
105 \def\OBJ{{\sc obj}} |
106 \def\AST{{\sc ast}} |
106 \def\AST{{\sc ast}} |
107 |
107 |
|
108 \def\Pure{{\tt Pure}\@} |
|
109 \def\CPure{{\tt CPure}\@} |
108 \def\LCF{{\tt LCF}\@} |
110 \def\LCF{{\tt LCF}\@} |
109 \def\FOL{{\tt FOL}\@} |
111 \def\FOL{{\tt FOL}\@} |
110 \def\HOL{{\tt HOL}\@} |
112 \def\HOL{{\tt HOL}\@} |
111 \def\HOLCF{{\tt HOLCF}\@} |
113 \def\HOLCF{{\tt HOLCF}\@} |
112 \def\LK{{\tt LK}\@} |
114 \def\LK{{\tt LK}\@} |
113 \def\ZF{{\tt ZF}\@} |
115 \def\ZF{{\tt ZF}\@} |
114 \def\CTT{{\tt CTT}\@} |
116 \def\CTT{{\tt CTT}\@} |
115 \def\Cube{{\tt Cube}} |
117 \def\Cube{{\tt Cube}\@} |
116 \def\Modal{{\tt Modal}} |
118 \def\Modal{{\tt Modal}\@} |
117 |
119 |
118 %macros to change the treatment of symbols |
120 %macros to change the treatment of symbols |
119 \def\relsemicolon{\mathcode`\;="303B} %treat ; like a relation |
121 \def\relsemicolon{\mathcode`\;="303B} %treat ; like a relation |
120 \def\binperiod{\mathcode`\.="213A} %treat . like a binary operator |
122 \def\binperiod{\mathcode`\.="213A} %treat . like a binary operator |
121 \def\binvert{\mathcode`\|="226A} %treat | like a binary operator |
123 \def\binvert{\mathcode`\|="226A} %treat | like a binary operator |