Name Directory
synproof.sty texmf\tex\latex\synproof
synproof.tpm texmf\tpm\packages
README texmf\doc\latex\synproof
synproof-doc.pdf texmf\doc\latex\synproof
synproof-src.tar.bz2 texmf\source