augment_srw_ss : ssfrag list -> unit
STRUCTURE
SYNOPSIS
Augments the "stateful" simpset used by SRW_TAC with a list of simpset fragments.
DESCRIPTION
bossLib.augment_srw_ss is identical to BasicProvers.augment_srw_ss
SEEALSO
HOL  Trindemossen-1