--- a/doc-src/iman.sty Tue May 06 12:50:16 1997 +0200
+++ b/doc-src/iman.sty Tue May 06 12:51:23 1997 +0200
@@ -105,6 +105,8 @@
\def\OBJ{{\sc obj}}
\def\AST{{\sc ast}}
+\def\Pure{{\tt Pure}\@}
+\def\CPure{{\tt CPure}\@}
\def\LCF{{\tt LCF}\@}
\def\FOL{{\tt FOL}\@}
\def\HOL{{\tt HOL}\@}
@@ -112,8 +114,8 @@
\def\LK{{\tt LK}\@}
\def\ZF{{\tt ZF}\@}
\def\CTT{{\tt CTT}\@}
-\def\Cube{{\tt Cube}}
-\def\Modal{{\tt Modal}}
+\def\Cube{{\tt Cube}\@}
+\def\Modal{{\tt Modal}\@}
%macros to change the treatment of symbols
\def\relsemicolon{\mathcode`\;="303B} %treat ; like a relation