Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - polynom.ins 2017-07-17 11:48 1.2K README 2017-07-17 11:49 493 polydemo.tex 2017-07-17 12:59 3.0K polydemo.pdf 2017-07-17 12:59 143K polynom.dtx 2017-07-17 13:02 136K polynom.pdf 2017-07-17 13:03 330K