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