PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
mem
f
dec
1
1.
S:
Type
2.
s:
S
3.
l:
S*
4.
Fin(S)
Dec(mem_f(S;s;l))
By:
ListInd 3
Generated subgoals:
1
Dec(mem_f(S;s;nil))
2
5.
u:
S
6.
v:
S*
7.
Dec(mem_f(S;s;v))
Dec(mem_f(S;s;u.v))
About:
Dec(mem_f(S;s;nil)) Dec(mem_f(S;s;u.v)) Dec(mem_f(S;s;l)) Dec(mem_f(S;s;nil)) Dec(mem_f(S;s;u.v))
