doc-src/proof.sty
changeset 35645 74e4542d0a4a
parent 3126 feb7a5d01c1e