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