newproof
Make commands to define proofs
The authors are Mike Piff and Robin Fairbairns.
License: pd Version dated: 2010-12-03 Catalogued: 2016-06-24