SRW_TAC

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

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