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