equal
deleted
inserted
replaced
74 \let\Forall=\bigwedge |
74 \let\Forall=\bigwedge |
75 \let\Imp=\Longrightarrow |
75 \let\Imp=\Longrightarrow |
76 \let\To=\Rightarrow |
76 \let\To=\Rightarrow |
77 \newcommand{\PROP}{\mathop{\mathrm{PROP}}} |
77 \newcommand{\PROP}{\mathop{\mathrm{PROP}}} |
78 \newcommand{\Var}[1]{{?\!#1}} |
78 \newcommand{\Var}[1]{{?\!#1}} |
79 \newcommand{\VVar}[1]{{?\!?\!#1}} |
|
80 \newcommand{\All}[1]{\Forall#1.} %quantification |
79 \newcommand{\All}[1]{\Forall#1.} %quantification |
81 |
80 |
82 %%%% ``WARNING'' environment |
81 %%%% ``WARNING'' environment |
83 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
82 \def\dbend{\vtop to 0pt{\vss\hbox{\Huge\bf!}\vss}} |
84 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |
83 \newenvironment{warn}{\medskip\medbreak\begingroup \clubpenalty=10000 |