bool_ss

boolSimps.bool_ss : simpset

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

bossLib.bool_ss is identical to boolSimps.bool_ss.

See also

bossLib.bool_ss