bool_ss

BasicProvers.bool_ss : simpset

Re-exported from bossLib.bool_ss. See that entry for full documentation.