../ README 09-Jun-2007 15:53 655 synproof-doc.pdf 09-Jun-2007 17:11 69056 synproof-doc.tex 09-Jun-2007 17:03 11952 synproof.sty 05-Jul-2009 14:26 5895