# HG changeset patch
# User wenzelm
# Date 936367827 -7200
# Node ID 88c2cf6a5692ebe5e79c26502a5cb999c15385a6
# Parent  bde978e3d9bbfdf52deaa399f1800701c3fdf385
\PROP;

diff -r bde978e3d9bb -r 88c2cf6a5692 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}}