doc-src/proof209.sty
Fri, 28 Jul 1995 17:41:31 +0200 paulson Version of the proof macros for LaTeX 2.09
less more (0) tip