Index - X
| xCNF | FastPropLogic, PropLogic |
| xDNF | FastPropLogic, PropLogic |
| XForm | FastPropLogic, PropLogic |
| xformAtoms | FastPropLogic, PropLogic |
| xformIrrAtoms | FastPropLogic, PropLogic |
| xformRedAtoms | FastPropLogic, PropLogic |
| XLine | FastPropLogic, PropLogic |
| XLit | FastPropLogic, PropLogic |
| xLIT | FastPropLogic, PropLogic |
| xmin | FastPropLogic, PropLogic |
| xmin' | FastPropLogic, PropLogic |
| xNLC | FastPropLogic, PropLogic |
| xNLD | FastPropLogic, PropLogic |
| XPCNF | |
| 1 (Type/Class) | FastPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| xpcnf | PropLogicTest, PropLogic |
| xpcnf' | PropLogicTest, PropLogic |
| XPDNF | |
| 1 (Type/Class) | FastPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| xpdnf | PropLogicTest, PropLogic |
| xpdnf' | PropLogicTest, PropLogic |
| xprim | FastPropLogic, PropLogic |
| xprim' | FastPropLogic, PropLogic |