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