Name Last modified Size Description Parent Directory - README 2007-06-09 15:53 655 synproof-doc.tex 2007-06-09 17:03 12K synproof-doc.pdf 2007-06-09 17:11 67K synproof.sty 2009-07-05 14:26 5.8K