PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
el
counter
wf
1
2
1
1.
n:
2.
L:
*
3.
u:
4.
v:
*
5.
||n:v||
6.
u.v = nil
7.
n = hd((u.v))
8.
||u.v|| = ||v||+1
||n:v||
By:
Inclusion 5
Generated subgoals:
None
About:
**
u.v = nil
||n:v|| 
