doc-src/iman.sty
changeset 3109 d95748813188
parent 3100 2b0f9ff06018
child 3187 8f8c88dcd728
--- 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