doc-src/proof.sty
changeset 3322 bc4d107fb6dd
parent 3126 feb7a5d01c1e
equal deleted inserted replaced
3321:c609a0119fd8 3322:bc4d107fb6dd