next up previous contents index
Next: Trivial Conversions Up: Rewriting Previous: Nuprl Conversions

Conversion Descriptions

    The descriptions assume the conversion has been applied to an environment e:env and a term t:term. Types of arguments to conversions are:





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