# HG changeset patch
# User wenzelm
# Date 909253473 -7200
# Node ID 165de7b92ea6ece3da549b12bb0eab3ede544853
# Parent  ea464976a00f8c2bc0602cd920d02437f16c2aa4
tuned;

diff -r ea464976a00f -r 165de7b92ea6 doc-src/iman.sty
--- 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{]\!]}}