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