Updated proof-tutorial to match updates to proof.html
Removed redundant file
Removed redundant files