Name Last modified Size Parent Directory - GNU.txt 2012-07-16 04:01 18K frege.pdf 2012-08-04 23:05 135K frege.tex 2012-08-04 23:06 20K frege.sty 2012-08-05 19:27 67K INSTALL 2012-08-05 22:18 2.2K