PrintForm Definitions Turing Sections NuprlLIB Doc

At: blank proto pi

p:PM{i}. _(p) Void+P(p)
By: ModulePiTac 8 [`tm_q`;`tm_proto_sigma`;`tm_proto_pi`;`tm_blank`;`tm_delta`;`tm_s`;`tm_t`;`tm_r`]
Generated subgoals:

None