doc-src/proof.sty
changeset 22967 0651b224528a
parent 3126 feb7a5d01c1e