# HG changeset patch
# User wenzelm
# Date 862915883 -7200
# Node ID d95748813188a06b039a7780961c1a6ab658e783
# Parent  335efc3f56321eaa77a3f156fa84c313e98a1ca0
added \Pure, \CPure;

diff -r 335efc3f5632 -r d95748813188 doc-src/iman.sty
--- 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