augment_srw_ss

BasicProvers.augment_srw_ss : ssfrag list -> unit

Re-exported from bossLib.augment_srw_ss. See that entry for full documentation.