Next: INT Up: The Rules Previous: ATOM

VOID

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* formation universe_intro_void: rule.

void_equality: rule.

mlsubsection23.25ex plus 1ex minus .2ex1.5ex plus .2ex

* noncanonical void_elim(hyp): int

rule.

void_equality_any: rule.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995