doc-src/proof.sty
changeset 8832 bcceda950cd0
parent 3126 feb7a5d01c1e