name logic docfiles texmf-dist/doc/latex/logic/gn-logic14.dvi texmf-dist/doc/latex/logic/gn-logic14.tex texmf-dist/doc/latex/logic/milstd.tex runfiles texmf-dist/fonts/source/public/logic/milstd.mf texmf-dist/fonts/tfm/public/logic/milstd.tfm texmf-dist/tex/latex/logic/gn-logic14.sty