PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
length
reverse
T:Type, l:T*. ||rev(l)|| = ||l||
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
l:
T*
||rev(l)|| = ||l||
About:
||rev(l)|| = ||l|| 
T:Type, l:T*. ||rev(l)|| = ||l|| ||rev(l)|| = ||l|| 
