PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
action
append
1
1
1.
T:
Type
2.
S:
ActionSet(T)
3.
s:
S.car
4.
tl1:
T*
5.
tl2:
T*
6.
u:
T
7.
v:
T*
8.
(S:v @ tl2
s) = (S:v
(S:tl2
s))
S.act(u,(S:v @ tl2
s)) = S.act(u,(S:v
(S:tl2
s)))
By:
Analyze
Generated subgoals:
None
About:
s) = (S:v(S:tl2s))
S.act(u,(S:v @ tl2s)) = S.act(u,(S:v(S:tl2s)))
