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