slides/mathpartir.sty
changeset 478 dfa7b4ca199f
parent 95 dbe49327b6c5
equal deleted inserted replaced
477:28e872e7efb3 478:dfa7b4ca199f