Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - isorot.ins 2000-02-17 01:00 1.9K README 2000-02-18 01:00 898 isorot.dtx 2000-02-18 01:00 47K rotman.pdf 2000-02-18 01:00 165K rotman.tex 2000-02-18 01:00 28K