doc-src/proof.sty
changeset 14333 14f29eb097a3
parent 3126 feb7a5d01c1e