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

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

No-dup-deliver(E) TraceProperty(E)
By: Unfold `trace_property` 0
Generated subgoals:

None

About:
member

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