Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2024-02-16 11:18 312 functional.sty 2024-12-18 19:27 83K functional.tex 2024-12-18 19:27 294K functional.pdf 2024-12-18 19:30 682K