1\DOC augment_srw_ss 2 3\TYPE {augment_srw_ss : ssfrag list -> unit} 4 5\SYNOPSIS 6Augments the "stateful" simpset used by {SRW_TAC} with a list of 7{simpset} fragments. 8 9\DESCRIBE 10{bossLib.augment_srw_ss} is identical to {BasicProvers.augment_srw_ss} 11 12\SEEALSO 13bossLib.augment_srw_ss, BasicProvers.diminish_srw_ss. 14 15\ENDDOC 16