Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2016-02-24 21:23 1.3K mathpartir.ins 2016-02-22 17:09 2.5K COPYING 2016-02-22 16:53 18K mathpartir.dtx 2016-02-24 22:01 38K mathpartir.pdf 2016-02-24 22:03 259K