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