PrintForm Definitions Turing Sections NuprlLIB Doc

At: conf tape wf

M:PM{i}, t:Config(M). t.tape G(M)
By: ModulePiTac 3 [`conf_st`;`conf_tape`;`conf_hd`]
Generated subgoals:

None