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