1.1 --- a/doc-src/iman.sty Tue May 06 12:50:16 1997 +0200
1.2 +++ b/doc-src/iman.sty Tue May 06 12:51:23 1997 +0200
1.3 @@ -105,6 +105,8 @@
1.4 \def\OBJ{{\sc obj}}
1.5 \def\AST{{\sc ast}}
1.6
1.7 +\def\Pure{{\tt Pure}\@}
1.8 +\def\CPure{{\tt CPure}\@}
1.9 \def\LCF{{\tt LCF}\@}
1.10 \def\FOL{{\tt FOL}\@}
1.11 \def\HOL{{\tt HOL}\@}
1.12 @@ -112,8 +114,8 @@
1.13 \def\LK{{\tt LK}\@}
1.14 \def\ZF{{\tt ZF}\@}
1.15 \def\CTT{{\tt CTT}\@}
1.16 -\def\Cube{{\tt Cube}}
1.17 -\def\Modal{{\tt Modal}}
1.18 +\def\Cube{{\tt Cube}\@}
1.19 +\def\Modal{{\tt Modal}\@}
1.20
1.21 %macros to change the treatment of symbols
1.22 \def\relsemicolon{\mathcode`\;="303B} %treat ; like a relation