--- 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}}