(7steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc

At: P no dup switchable0 4
1. E: EventStruct

send-enabledR(E) preserves No-dup-deliver(E)
By: Easy
Generated subgoals:

None

About:
list

(7steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc