(4steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc

At: subx wf
t,r:Term. t/r Term
By: GenUnivCD
Generated subgoals:

11. t: Term
2. r: Term
t/r Term		1 step
 
21. t: Term
Term Type		Auto
 
3 Term TypeAuto

About:
universememberall

(4steps total) PrintForm Definitions ElisTarskiPf B Sections NuprlLIB Doc