srw_ss

BasicProvers.srw_ss : unit -> simpset

Implicit simpset.

bossLib.srw_ss is identical to BasicProvers.srw_ss.

See also

bossLib.srw_ss