PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
zero
length
imp
nil
1
1.
T:
Type
2.
l:
T*
3.
||l|| = 0
l = nil
By:
ListInd 2
THEN
Reduce 0
Generated subgoals:
None
About:
l = nil
