(7steps total)
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
upto
wf
2
1.
d,i,j:
. j-i = d
upto(i;j)
{i..j
} List
i,j:
. upto(i;j)
{i..j
} List
By:
Auto
THEN
Decide (i < j)
Generated subgoals:
1
2.
i:
3.
j:
4.
i < j
upto(i;j)
{i..j
} List
1
step
 
2
2.
i:
3.
j:
4.
i < j
upto(i;j)
{i..j
} List
1
step
About:
(7steps total)
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc