PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.

Index - L

lineCovFormFastPropLogic, PropLogic
lineCovLineFastPropLogic, PropLogic
lineIndicesFastPropLogic, PropLogic
lineLengthFastPropLogic, PropLogic
lineMeetFormFastPropLogic, PropLogic
lineMeetLineFastPropLogic, PropLogic
LiteralPairDefaultPropLogic, PropLogic
LitFormDefaultPropLogic, PropLogic
litFormAtomDefaultPropLogic, PropLogic
litFormValueDefaultPropLogic, PropLogic