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

At: termof wf
A:Type. (A Term) Type
By: GenUnivCD
Generated subgoals:

11. A: Type
(A Term) Type		1 step
 
2 Type{i} Type{i'}Auto

About:
universememberall

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