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