PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
zero
nil
T:Type, L:T*. ||L||
0
L = nil
By:
Analyze 0
THEN
Analyze 0
THEN
ListInd 2
THEN
Reduce 0
Generated subgoals:
None
About:
T:Type, L:T*. ||L||
0 
L = nil
