PrintForm Definitions Turing Sections NuprlLIB Doc

At: tm t wf

p:PM{i}. p.t (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