Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
\VVar;
authorwenzelm
Sun, 22 Aug 1999 21:14:28 +0200
changeset 7316 8b6d6df020ac
parent 7315 76a39a3784b5
child 7317 ece660815e03
\VVar;
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- 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
isabelle