equal
deleted
inserted
replaced
72 |
72 |
73 \let\Forall=\bigwedge |
73 \let\Forall=\bigwedge |
74 \let\Imp=\Longrightarrow |
74 \let\Imp=\Longrightarrow |
75 \let\To=\Rightarrow |
75 \let\To=\Rightarrow |
76 \newcommand\Var[1]{{?\!#1}} |
76 \newcommand\Var[1]{{?\!#1}} |
|
77 \newcommand\All[1]{\Forall#1.} %quantification |
77 |
78 |
78 %%%% ``WARNING'' environment |
79 %%%% ``WARNING'' environment |
79 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
80 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
80 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
81 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
81 \small %%WAS\baselineskip=0.9\baselineskip |
82 \small %%WAS\baselineskip=0.9\baselineskip |
99 \newcommand{\fs}{\mathpunct{,\,}} |
100 \newcommand{\fs}{\mathpunct{,\,}} |
100 \newcommand{\ty}{\mathrel{::}} |
101 \newcommand{\ty}{\mathrel{::}} |
101 \newcommand{\asn}{\mathrel{:=}} |
102 \newcommand{\asn}{\mathrel{:=}} |
102 \newcommand{\more}{\ldots} |
103 \newcommand{\more}{\ldots} |
103 \newcommand{\record}[1]{\lparr #1 \rparr} |
104 \newcommand{\record}[1]{\lparr #1 \rparr} |
|
105 \newcommand{\dtt}{\mathord.} |
104 |
106 |
105 \newcommand\lbrakk{\mathopen{[\![}} |
107 \newcommand\lbrakk{\mathopen{[\![}} |
106 \newcommand\rbrakk{\mathclose{]\!]}} |
108 \newcommand\rbrakk{\mathclose{]\!]}} |
107 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
109 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
108 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |
110 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |