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