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

At: subx wf
t,r:Term. SUBX(t; r) Term
By: GenUnivCD
Generated subgoals:

11. t: Term
2. r: Term
SUBX(t; r) Term		1 step
 
21. t: Term
Term Type		Auto
 
3 Term TypeAuto

About:
universememberall

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