is mentioned by

Def Macro is-deliver(E)(x) == (is-send(E)(x))

[event_is_deliver]

In prior sections: core bool 1 rel 1 sqequal 1 int 2 list 1 prog 1 mb basic mb nat num thy 1 mb list 1 mb list 2

Try larger context: GenAutomata