PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
tl
append
front
1
1
1.
T:
Type
2.
l:
T*
3.
m:
T*
||nil|| > 0
tl((nil @ m)) = (tl(nil) @ m)
By:
Reduce 0
Generated subgoals:
None
About:
||nil|| > 0 
tl((nil @ m)) = (tl(nil) @ m)
