removed \VVar;
authorwenzelm
Sat Sep 04 20:55:26 1999 +0200 (1999-09-04)
changeset 746425e53464294e
parent 7463 39eb3cacf38a
child 7465 a987f4ff5bd3
removed \VVar;
doc-src/iman.sty
     1.1 --- a/doc-src/iman.sty	Fri Sep 03 18:30:14 1999 +0200
     1.2 +++ b/doc-src/iman.sty	Sat Sep 04 20:55:26 1999 +0200
     1.3 @@ -76,7 +76,6 @@
     1.4  \let\To=\Rightarrow
     1.5  \newcommand{\PROP}{\mathop{\mathrm{PROP}}}
     1.6  \newcommand{\Var}[1]{{?\!#1}}
     1.7 -\newcommand{\VVar}[1]{{?\!?\!#1}}
     1.8  \newcommand{\All}[1]{\Forall#1.}  %quantification
     1.9  
    1.10  %%%% ``WARNING'' environment