/macros/latex/contrib/lkproof/
../
lkproof-doc.pdf
lkproof-doc.tex
proof.sty
proofeg.tex