(3steps)
PrintForm
Definitions
Lemmas
mb
state
machine
Sections
GenAutomata
Doc
At:
kind
wf2
M:sm{i:l}(), a:M.action. kind(a)
Label & kind(a)
Pattern
By:
UnivCD
Generated subgoal:
1
1.
M:
sm{i:l}()
2.
a:
M.action
kind(a)
Label & kind(a)
Pattern
About:
(3steps)
PrintForm
Definitions
Lemmas
mb
state
machine
Sections
GenAutomata
Doc
kind(a) 
Label & kind(a) Pattern 
M:sm{i:l}(), a:M.action. kind(a) Label & kind(a) Pattern kind(a) Label & kind(a) Pattern
