Next: MISCELLANEOUS Up: The Rules Previous: EQUALITY

UNIVERSE

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

* canonical universe_intro_universe (level): int

rule.

universe_equality: rule.

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