gn-logic package 2000/04/06 10:37:33 rahtz LaTeX style provides a facility to typeset logical formulas. 39005 This style option provides an environment like eqnarray, an extended newtheorem environment and several macros. texmf/tex/latex/logic/* texmf/tpm/package/gn-logic.tpm texmf/doc/latex/logic/gn-logic14.dvi texmf/doc/latex/logic/gn-logic14.tex texmf/tex/latex/logic/gn-logic14.sty texmf/tpm/package/gn-logic.tpm texmf/doc/latex/logic/gn-logic14.dvi texmf/doc/latex/logic/gn-logic14.tex package/gn-logic