----------------------------------------------------------------------
bool_ss                                                 (BasicProvers)
----------------------------------------------------------------------
bool_ss : simpset

SYNOPSIS
Basic simpset containing standard propositional and first order logic
simplifications, plus beta and eta conversion.

DESCRIBE
{BasicProvers.bool_ss} is identical to {boolSimps.bool_ss}.

SEEALSO
boolSimps.bool_ss.

----------------------------------------------------------------------