Next: , Previous: dn, Up: Equivalence Rules   [Contents]


6.2.9 Exportation

This is one of the few equivalence rules that deals with conditionals.