name gene-logic
category Package
revision 15878
shortdesc Typeset logic formulae, etc.
relocated 1
longdesc The package provides a facility to typeset certain logic
longdesc formulae. It provides an environment like eqnarray, a
longdesc newtheorem-like environment (NewTheorem), and several macros.
runfiles size=2
 RELOC/tex/latex/gene-logic/gn-logic14.sty
catalogue-ctan /macros/latex/contrib/gene/logic
catalogue-date 2012-06-04 13:21:54 +0200
catalogue-license other-free
catalogue-version 1.4