bool_ss : simpset
STRUCTURE
boolSimps
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
bool_ss
HOL
Kananaskis-14