PrintForm Definitions mb structures Sections GenAutomata Doc

At: event tag wf

E:TaggedEventStruct. tag(E) |E|Label
By:
Analyze 0
THEN
Unfold `event_tag` 0
THEN
RepeatFor 6 ((Analyze -1) THEN (Reduce 0))
Generated subgoals:

None

About:
functionmemberall

PrintForm Definitions mb structures Sections GenAutomata Doc