Go backward to Proof Rule
Go up to Top
Go forward to Proof Completion
|
Go backward to Proof Rule Go up to Top Go forward to Proof Completion |
|
~~>
K G
~~>
K' G'
~~>
K'0 G'0 ~~>
K'1 G'1 ~~>
K" G"
~~>
K"0 G"0 ~~>
K"1 G"1
K0
K1
K2
K3 ...
Kn