Slides/proof.sty
changeset 578 e71a6e2aca2d
parent 201 2585e2a7a7ab
equal deleted inserted replaced
577:f47fc4840579 578:e71a6e2aca2d