PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
hd
reverse
1
1
1.
T:
Type
2.
l:
T*
||nil|| > 0
hd(rev(nil)) = nil[(||nil||-1)]
T
By:
Reduce 0
Generated subgoals:
None
About:
||nil|| > 0 
hd(rev(nil)) = nil[(||nil||-1)] 
T
