bool_ss : simpset
STRUCTURE
SYNOPSIS
Basic simpset containing standard propositional and first order logic simplifications, plus beta and eta conversion.
DESCRIPTION
BasicProvers.bool_ss is identical to boolSimps.bool_ss.
SEEALSO
HOL  Kananaskis-13