added \Pure, \CPure;
authorwenzelm
Tue May 06 12:51:23 1997 +0200 (1997-05-06)
changeset 3109d95748813188
parent 3108 335efc3f5632
child 3110 dfc1d659f968
added \Pure, \CPure;
doc-src/iman.sty
     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