/macros/latex/contrib/logicproof/
../
README
logicproof.dtx
logicproof.ins
logicproof.pdf