Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80
Parent Directory - README.md 2019-04-23 20:37 2.9K optidef.pdf 2019-04-23 20:46 244K optidef.sty 2019-04-23 20:37 24K optidef.tex 2019-04-23 20:46 30K