bool_ss : simpset
STRUCTURE
SYNOPSIS
Basic simpset containing standard propositional and first order logic simplifications, plus beta-conversion.
DESCRIPTION
bossLib.bool_ss is identical to boolSimps.bool_ss.
SEEALSO
HOL  Trindemossen-1