list
3
autom
Sections
AutomataTheory
Doc
Def
A
B ==
B < A
Thm*
L:T*. ||L||
0
L = nil zero_nil
In prior sections:
int
1
bool
1
int
2
list
1
L:T*. ||L||
0 
L = nil zero_nil
B == 
B < A
L:T*. ||L||0 L = nil zero_nil