Go backward to
Proof Rule
Go up to
Top
Go forward to
Proof Completion
Proof Tree
K
G
~~>
K'
G
'
~~>
K'
0
G
'
0
~~>
K'
1
G
'
1
~~>
K"
G
"
~~>
K"
0
G
"
0
~~>
K"
1
G
"
1
~~>
K
0
K
1
K
2
K
3
...
K
n
Author:
Wolfgang Schreiner
Last Modification: November 30, 1999