proof.sty
corrected and updated