Next: LIST
Up: The Rules
Previous: INT
mlsubsection23.25ex plus
1ex minus .2ex1.5ex plus .2ex
*
formation
universe_intro_less: rule.
less_equality: rule.
mlsubsection23.25ex plus
1ex minus .2ex1.5ex plus .2ex
*
equality
axiom_equality_less: rule.
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995