PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
lpower
wf
1
1.
Alph:
Type
2.
L:
Alph*
3.
n:
(L
n)
Alph*
By:
NatInd 3
Generated subgoals:
1
(L
0)
Alph*
2
3.
n:
4.
0 < n
5.
(L
n-1)
Alph*
(L
n)
Alph*
About:
(L
0) 
Alph*
n-1) Alph* (Ln) Alph*
(Ln) Alph* (L0) Alph*n-1) Alph* (Ln) Alph*
