Create Proofs.v

Proofs of the propositions by Plotkin et al'02