share/texmf/doc/latex/logic/gn-logic14.dvi
share/texmf/doc/latex/logic/gn-logic14.tex
share/texmf/lists/latex3/logic
share/texmf/tex/latex/logic/gn-logic14.sty