bool_ss : simpset
STRUCTURE
BasicProvers
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
bool_ss
HOL
Kananaskis-13