GenAutomata
Sections
NuprlLIB
Doc
Def
local_deliver_property(E;P)(tr) == P(
p.tr delivered at p)
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
p.tr delivered at p)