logicproof: List of files

This package includes 5 files with a total size of 69007 bytes.

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