doc-src/proof.sty
changeset 14333 14f29eb097a3
parent 3126 feb7a5d01c1e
equal deleted inserted replaced
14332:fd3535af90ab 14333:14f29eb097a3