prio/Paper/document/mathpartir.sty
changeset 290 6a6d0bd16035
parent 284 d296cb127fcb
equal deleted inserted replaced
289:a5dd2c966cbe 290:6a6d0bd16035