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


6.2.9 Exportation

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