augment_srw_ss : ssfrag list -> unit
STRUCTURE
BasicProvers
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
augment_srw_ss
,
diminish_srw_ss
HOL
Kananaskis-13