Name Last modified Size Description Parent Directory - README 2012-08-05 14:19 7.0K INSTALL 2012-08-05 14:18 2.2K GNU.txt 2012-07-15 20:01 18K frege.tex 2012-08-04 15:06 20K frege.sty 2012-08-05 11:27 67K frege.pdf 2012-08-04 15:05 135K