(3steps) PrintForm Definitions Lemmas mb state machine Sections GenAutomata Doc

At: kind wf2 1 1
1. M: sm{i:l}()
2. a: M.action
3. kind(a) Label

kind(a) Pattern
By: Analyze -1
Generated subgoals:

None

About:
member

(3steps) PrintForm Definitions Lemmas mb state machine Sections GenAutomata Doc