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