Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - primes.contents 1992-09-23 02:00 213 primes.contents_z 1992-09-23 02:00 170 primes.tex 1992-09-23 02:00 22K primes.tex_z 1992-09-23 02:00 12K primes.web 1992-09-23 02:00 18K primes.web_z 1992-09-23 02:00 9.6K web.tex 1992-09-23 02:00 71K web.tex_z 1992-09-23 02:00 39K