ASM_SIMP_TAC : simpset -> thm list -> tactic
STRUCTURE
simpLib
SYNOPSIS
Simplify a term with the given simpset and theorems.
DESCRIBE
bossLib.ASM_SIMP_TAC
is identical to
simpLib.ASM_SIMP_TAC
.
SEEALSO
ASM_SIMP_TAC
HOL
Kananaskis-4