doc-src/proof.sty
1997-05-07 paulson 1997-05-07 Larry's private LaTeX-2e version
1997-05-02 berghofe 1997-05-02 Version of the proof macros for LaTeX 2e