Remove PROOF

Nobody uses it, and it is no longer supported.