PrintForm Definitions Turing Sections NuprlLIB Doc

At: tm blank wf 1
1. p: PM{i}

_(p) P(p)+P(p)
By: Inst Thm* x:Void+S. x T+S [P(p);P(p);_(p)]
Generated subgoal:

1 _(p) Void+P(p)