doc-src/proof.sty
changeset 20217 25b068a99d2b
parent 3126 feb7a5d01c1e