PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
mem
f
dec
1
1
1.
S:
Type
2.
s:
S
3.
l:
S*
4.
Fin(S)
Dec(mem_f(S;s;nil))
By:
Reduce 0
Generated subgoals:
None
About:
Dec(mem_f(S;s;nil))
