CookBook/document/proof.sty
2008-10-09 Christian Urban added a proof and tuned the rest
less more (0) tip