Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
GNU.txt 2012-07-15 21:01 18K
frege.pdf 2012-08-04 16:05 135K
frege.tex 2012-08-04 16:06 20K
frege.sty 2012-08-05 12:27 67K
INSTALL 2012-08-05 15:18 2.2K
README 2012-08-05 15:19 7.0K