../ README 09-Jun-2007 23:53 655 synproof-doc.pdf 10-Jun-2007 01:11 69056 synproof-doc.tex 10-Jun-2007 01:03 11952 synproof.sty 05-Jul-2009 22:26 5895