doc-src/proof.sty
changeset 18130 108ed679cf5a
parent 3126 feb7a5d01c1e
equal deleted inserted replaced
18129:62adfb6a7060 18130:108ed679cf5a