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