Make commands to define proofs.
The \newproof command is rather like \newtheorem; it creates environments which may be used to typeset conventional mathematical proofs.
The package is part of the piff bundle.
The author is Mike Piff.
License: lppl Catalogued: 2007-01-13