PrintForm Definitions Turing Sections NuprlLIB Doc

At: conf hd wf

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

None