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

Index - E

EJPropLogicCore, PropLogic
EJ_PropLogicTest, PropLogic
elimFormFastPropLogic, PropLogic
elimLineFastPropLogic, PropLogic
emptyOlist
equalOlist
equiatomicPropLogicCore, PropLogic
equijPropLogicCore, PropLogic
equivalentPropLogicCore, PropLogic
evalDefaultPropLogic, PropLogic
EvalNFDefaultPropLogic, PropLogic
extPropLogicCore, PropLogic
ext'DefaultPropLogic, PropLogic