srw_ss : unit -> simpset
STRUCTURE
SYNOPSIS
Implicit simpset.
DESCRIPTION
bossLib.srw_ss is identical to BasicProvers.srw_ss.
SEEALSO
HOL  Trindemossen-1