Nuprl - Proof: term closed wf

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

At: term closed wf

t:Term. closed(t) Prop

By: GenUnivCD

Generated subgoals:

1 1. t: Term
closed(t) Prop 1 step

2 Term Type Auto

About:

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