is mentioned by
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [local_deliver_switchable] |
Def memorylessR(E)(L_1,L_2)
== ![]() ![]() ![]() ![]() ![]() | [R_memoryless] |
Def tr delivered at p == filter(![]() ![]() ![]() ![]() ![]() ![]() | [deliveries_at] |
Def (L -msg(a;b) L1) == filter(![]() ![]() ![]() ![]() ![]() ![]() ![]() | [remove_msgs] |
In prior sections: bool 1 union
Try larger context: GenAutomata