----------------------------------------------------------------------
augment_srw_ss                                          (BasicProvers)
----------------------------------------------------------------------
augment_srw_ss : ssfrag list -> unit

SYNOPSIS
Augments the "stateful" simpset used by {SRW_TAC} with a list of
{simpset} fragments.

DESCRIBE
{bossLib.augment_srw_ss} is identical to {BasicProvers.augment_srw_ss}

SEEALSO
bossLib.augment_srw_ss, BasicProvers.diminish_srw_ss.

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