next up previous contents index
Next: Formation Up: Details of the Previous: Domain Predicate

Partial Function Type Proof Rules

In  the following is just with the first clause of the definition omitted and is fix(f,x.).



Richard Eaton
Thu Sep 14 08:45:18 EDT 1995