# HG changeset patch
# User wenzelm
# Date 936471326 -7200
# Node ID 25e53464294e8ac034aebed770d2f6837af11f97
# Parent  39eb3cacf38aff9564e8649f1e21e0f422a4072f
removed \VVar;

diff -r 39eb3cacf38a -r 25e53464294e doc-src/iman.sty
--- a/doc-src/iman.sty	Fri Sep 03 18:30:14 1999 +0200
+++ b/doc-src/iman.sty	Sat Sep 04 20:55:26 1999 +0200
@@ -76,7 +76,6 @@
 \let\To=\Rightarrow
 \newcommand{\PROP}{\mathop{\mathrm{PROP}}}
 \newcommand{\Var}[1]{{?\!#1}}
-\newcommand{\VVar}[1]{{?\!?\!#1}}
 \newcommand{\All}[1]{\Forall#1.}  %quantification
 
 %%%% ``WARNING'' environment