texmf-dist/doc/latex/karnaugh/kvdoc.tex texmf-dist/tex/latex/karnaugh/kvmacros.tex texmf-dist/tpm/karnaugh.tpm texmf/lists/karnaugh