1\DOC SIMP_RULE 2 3\TYPE {SIMP_RULE : simpset -> thm list -> thm -> thm} 4 5\SYNOPSIS 6Simplify a term with the given simpset and theorems. 7 8\DESCRIBE 9{bossLib.SIMP_RULE} is identical to {simpLib.SIMP_RULE}. 10 11\SEEALSO 12bossLib.SIMP_RULE. 13 14\ENDDOC 15