(SOLIDITY::BOOL-NOT)
(SOLIDITY::BOOLP-OF-BOOL-NOT)
(SOLIDITY::BOOL-NOT-OF-BOOL-FIX-OPERAND)
(SOLIDITY::BOOL-NOT-BOOL-EQUIV-CONGRUENCE-ON-OPERAND)
(SOLIDITY::BOOL-AND)
(SOLIDITY::BOOLP-OF-BOOL-AND)
(SOLIDITY::BOOL-AND-OF-BOOL-FIX-LEFT-OPERAND)
(SOLIDITY::BOOL-AND-BOOL-EQUIV-CONGRUENCE-ON-LEFT-OPERAND)
(SOLIDITY::BOOL-AND-OF-BOOL-FIX-RIGHT-OPERAND)
(SOLIDITY::BOOL-AND-BOOL-EQUIV-CONGRUENCE-ON-RIGHT-OPERAND)
(SOLIDITY::BOOL-OR)
(SOLIDITY::BOOLP-OF-BOOL-OR)
(SOLIDITY::BOOL-OR-OF-BOOL-FIX-LEFT-OPERAND)
(SOLIDITY::BOOL-OR-BOOL-EQUIV-CONGRUENCE-ON-LEFT-OPERAND)
(SOLIDITY::BOOL-OR-OF-BOOL-FIX-RIGHT-OPERAND)
(SOLIDITY::BOOL-OR-BOOL-EQUIV-CONGRUENCE-ON-RIGHT-OPERAND)
(SOLIDITY::BOOL-EQ)
(SOLIDITY::BOOLP-OF-BOOL-EQ)
(SOLIDITY::BOOL-EQ-OF-BOOL-FIX-LEFT-OPERAND)
(SOLIDITY::BOOL-EQ-BOOL-EQUIV-CONGRUENCE-ON-LEFT-OPERAND)
(SOLIDITY::BOOL-EQ-OF-BOOL-FIX-RIGHT-OPERAND)
(SOLIDITY::BOOL-EQ-BOOL-EQUIV-CONGRUENCE-ON-RIGHT-OPERAND)
(SOLIDITY::BOOL-NE)
(SOLIDITY::BOOLP-OF-BOOL-NE)
(SOLIDITY::BOOL-NE-OF-BOOL-FIX-LEFT-OPERAND)
(SOLIDITY::BOOL-NE-BOOL-EQUIV-CONGRUENCE-ON-LEFT-OPERAND)
(SOLIDITY::BOOL-NE-OF-BOOL-FIX-RIGHT-OPERAND)
(SOLIDITY::BOOL-NE-BOOL-EQUIV-CONGRUENCE-ON-RIGHT-OPERAND)
