PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
el
counter
wf
1
1.
n:
2.
L:
*
||n:L||
By:
ListInd 2
Generated subgoals:
1
||n:nil||
2
3.
u:
4.
v:
*
5.
||n:v||
||n:u.v||
About:
||n:nil|| 
* ||n:u.v|| * ||n:L|| ||n:nil|| * ||n:u.v|| 
