doc-src/proof.sty
Fri, 02 May 1997 16:18:11 +0200 berghofe Version of the proof macros for LaTeX 2e
less more (0) tip