Moved Proofs

Proof files now have own folder.