bool_ss

BasicProvers.bool_ss : simpset

Basic simpset containing standard propositional and first order logic simplifications, plus beta and eta conversion.

BasicProvers.bool_ss is identical to boolSimps.bool_ss.

See also

boolSimps.bool_ss