ASM_SIMP_TAC

simpLib.ASM_SIMP_TAC : simpset -> thm list -> tactic

Simplify a term with the given simpset and theorems.

bossLib.ASM_SIMP_TAC is identical to simpLib.ASM_SIMP_TAC.

See also

bossLib.ASM_SIMP_TAC