PrintForm
Definitions
Turing
Sections
NuprlLIB
Doc
At:
conf
st
wf
M:PM{i}, t:Config(M). t.st
(M)
By:
ModulePiTac 3 [`conf_st`;`conf_tape`;`conf_hd`]
Generated subgoals:
None
M:PM{i}, t:Config(M). t.st 
(M)