PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
maction
lemma
1
1
1.
Alph:
Type
2.
S:
ActionSet(Alph)
3.
s:
S.car
4.
L1:
Alph*
5.
L2:
Alph*
6.
L:
Alph*
7.
(S:L1
s) = (S:L2
s)
(S:nil @ L1
s) = (S:nil @ L2
s)
By:
AbReduce 0
Generated subgoals:
None
About:
s) = (S:L2s)
(S:nil @ L1s) = (S:nil @ L2s)
