Nuprl - mb_state_machine Citations of record

Def {d} == l:Label

decl_type(d;l)

is mentioned by

Def sm{i:l}() == da:Declds:Decl({ds}Prop)({ds}(da){ds}Prop) [sm]

Def M.state == {M.ds} [sm_state]

In prior sections: mb record

Try larger context: GenAutomata

`Def sm{i:l}() == da:Declds:Decl({ds}Prop)({ds}(da){ds}Prop)`	[sm]
`Def M.state == {M.ds}`	[sm_state]