Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - knuth-def.tex 2019-08-04 18:46 624 henel-def.tex 2019-08-07 10:59 2.1K erato-def.tex 2019-08-26 11:48 3.7K kaprekar-def.tex 2019-08-28 11:48 2.4K