next up previous contents index
Next: Intro Up: Partial Function Type Previous: Partial Function Type

Formation

  .
  H,r:ind(z,x¯.T;a) >> Gagggggggby ind r over A 
 ¯[EXT foobar]¯[EXT foobar] H >>  A>  B  in 
 				 by intro


>> A in 


>> B in

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