PrintForm
Definitions
Turing
Sections
NuprlLIB
Doc
At:
tm
blank
wf
p:PM{i}. _(p)
G(p)
By:
Unfold `tm_gamma` 0
Generated subgoal:
1
1.
p:
PM{i}
_(p)
P
(p)+P
(p)
_(p) 
P
(p)+P
(p)