(3steps)
PrintForm
Definitions
mb
structures
Sections
GenAutomata
Doc
At:
member
tag
sublist
1
1.
E:
TaggedEventStruct
2.
tr:
|E| List
3.
x:
|E|
4.
t:
Label
5.
(x
tr)
6.
tag(E)(x) =
t
tag(E)(x) = t
By:
EqLblFwd
Generated subgoals:
None
About:
(3steps)
PrintForm
Definitions
mb
structures
Sections
GenAutomata
Doc