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