texmf-dist/doc/latex/logic/gn-logic14.dvi texmf-dist/doc/latex/logic/gn-logic14.tex texmf-dist/doc/latex/logic/milstd.tex texmf-dist/fonts/source/public/logic/milstd.mf texmf-dist/fonts/tfm/public/logic/milstd.tfm texmf-dist/tex/latex/logic/gn-logic14.sty texmf-dist/tpm/logic.tpm texmf/lists/logic