\PROP;
authorwenzelm
Fri, 03 Sep 1999 16:10:27 +0200
changeset 7455 88c2cf6a5692
parent 7454 bde978e3d9bb
child 7456 de9e73baa5f8
\PROP;
doc-src/iman.sty
--- a/doc-src/iman.sty	Fri Sep 03 14:54:08 1999 +0200
+++ b/doc-src/iman.sty	Fri Sep 03 16:10:27 1999 +0200
@@ -74,9 +74,10 @@
 \let\Forall=\bigwedge
 \let\Imp=\Longrightarrow
 \let\To=\Rightarrow
-\newcommand\Var[1]{{?\!#1}}
-\newcommand\VVar[1]{{?\!?\!#1}}
-\newcommand\All[1]{\Forall#1.}  %quantification
+\newcommand{\PROP}{\mathop{\mathrm{PROP}}}
+\newcommand{\Var}[1]{{?\!#1}}
+\newcommand{\VVar}[1]{{?\!?\!#1}}
+\newcommand{\All}[1]{\Forall#1.}  %quantification
 
 %%%% ``WARNING'' environment
 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}}