# HG changeset patch
# User wenzelm
# Date 935349268 -7200
# Node ID 8b6d6df020acedfd418e1eb9c88f8474cc4b5fb9
# Parent  76a39a3784b5f63a651aa3c6345e32c4e81e1cc4
\VVar;

diff -r 76a39a3784b5 -r 8b6d6df020ac doc-src/iman.sty
--- a/doc-src/iman.sty	Sun Aug 22 21:13:20 1999 +0200
+++ b/doc-src/iman.sty	Sun Aug 22 21:14:28 1999 +0200
@@ -77,6 +77,7 @@
 \let\Imp=\Longrightarrow
 \let\To=\Rightarrow
 \newcommand\Var[1]{{?\!#1}}
+\newcommand\VVar[1]{{?\!?\!#1}}
 \newcommand\All[1]{\Forall#1.}  %quantification
 
 %%%% ``WARNING'' environment