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

At: P no dup deliver safety 2
1. E: EventStruct

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

None

About:
list

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