SIMP_TAC : simpset -> thm list -> tactic
STRUCTURE
simpLib
SYNOPSIS
Simplify a term with the given simpset and theorems.
DESCRIPTION
bossLib.SIMP_TAC
is identical to
simpLib.SIMP_TAC
.
SEEALSO
SIMP_TAC
HOL
Trindemossen-1