SRW_TAC : ssfrag list -> thm list -> tactic
STRUCTURE
SYNOPSIS
A version of RW_TAC with an implicit simpset.
DESCRIPTION
bossLib.SRW_TAC is identical to BasicProvers.SRW_TAC.
SEEALSO
HOL  Trindemossen-1