Paper/document/mathpartir.sty
2013-01-18 Christian Urban updated to ITP and updated directories
less more (0) tip