RW_TAC

BasicProvers.RW_TAC : simpset -> thm list -> tactic

Re-exported from bossLib.RW_TAC. See that entry for full documentation.