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