slides/mathpartir.sty
changeset 787 4b2496bc79b2
parent 95 dbe49327b6c5
equal deleted inserted replaced
786:da2488db453e 787:4b2496bc79b2