SRW_TAC

BasicProvers.SRW_TAC : ssfrag list -> thm list -> tactic

A version of RW_TAC with an implicit simpset.

bossLib.SRW_TAC is identical to BasicProvers.SRW_TAC.

See also

bossLib.SRW_TAC