doc-src/proof.sty
Wed, 07 May 1997 16:26:02 +0200 Larry's private LaTeX-2e version
Fri, 02 May 1997 16:18:11 +0200 Version of the proof macros for LaTeX 2e