PrintForm Definitions mb hybrid Sections GenAutomata Doc

At: totalorder wf

E:EventStruct. totalorder(E) TraceProperty(E)
By:
Unfolds [`totalorder`;`trace_property`] 0
THEN
Try (All (Fold `str_trace`))
Generated subgoals:

None

About:
memberall

PrintForm Definitions mb hybrid Sections GenAutomata Doc