--- a/doc-src/iman.sty Sat Oct 24 20:22:45 1998 +0200
+++ b/doc-src/iman.sty Sat Oct 24 20:24:33 1998 +0200
@@ -74,6 +74,7 @@
\let\Imp=\Longrightarrow
\let\To=\Rightarrow
\newcommand\Var[1]{{?\!#1}}
+\newcommand\All[1]{\Forall#1.} %quantification
%%%% ``WARNING'' environment
\def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}}
@@ -101,6 +102,7 @@
\newcommand{\asn}{\mathrel{:=}}
\newcommand{\more}{\ldots}
\newcommand{\record}[1]{\lparr #1 \rparr}
+\newcommand{\dtt}{\mathord.}
\newcommand\lbrakk{\mathopen{[\![}}
\newcommand\rbrakk{\mathclose{]\!]}}