srw_ss

BasicProvers.srw_ss : unit -> simpset

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