Version:
1.4
Copyright:
Gerd Neugebauer
License:
other-free
Packaged on:
7/15/2016 5:44:07 PM
Number of files:
4
Size on disk:
99.89 kB

The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.