\DOC SIMP_RULE

\TYPE {SIMP_RULE : simpset -> thm list -> thm -> thm}

\SYNOPSIS
Simplify a term with the given simpset and theorems.

\DESCRIBE
{bossLib.SIMP_RULE} is identical to {simpLib.SIMP_RULE}.

\SEEALSO
bossLib.SIMP_RULE.

\ENDDOC