Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
functional.tex 2024-02-16 11:18 294K
functional.sty 2024-02-16 11:17 82K
functional.pdf 2024-02-16 11:23 680K
README.txt 2024-02-16 11:18 312