changeset 7464 | 25e53464294e |
parent 7455 | 88c2cf6a5692 |
child 7976 | 8005c92a85d7 |
--- 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