next up previous contents index
Next: Lemma and Hypothesis Up: Conversion Descriptions Previous: Conversion Descriptions

Trivial Conversions

 


Karla Consroe
Wed Oct 23 13:48:45 EDT 1996