----------------------------------------------------------------------
srw_ss                                                  (BasicProvers)
----------------------------------------------------------------------
srw_ss : unit -> simpset

SYNOPSIS
Implicit {simpset}.

DESCRIBE
{bossLib.srw_ss} is identical to {BasicProvers.srw_ss}.

SEEALSO
bossLib.srw_ss.

----------------------------------------------------------------------