Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80
Parent Directory - README 2007-06-09 17:53 655 synproof-doc.pdf 2007-06-09 19:11 67K synproof-doc.tex 2007-06-09 19:03 12K synproof.sty 2009-07-05 16:26 5.8K