\DOC ASM_SIMP_TAC

\TYPE {ASM_SIMP_TAC : simpset -> thm list -> tactic}

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

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

\SEEALSO
bossLib.ASM_SIMP_TAC.

\ENDDOC