Delete unused file
Style edit buttons
Stub out Proof::Tree object for #10