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