quantHeuristicsLib.FAST_QUANT_INST_ss

FAST_QUANT_INST_ss : quant_param list -> simpLib.ssfrag

STRUCTURE: quantHeuristicsLib
SYNOPSIS: A simpset fragement corresponding to FAST_QUANT_INSTANTIATE_CONV.
SEEALSO: FAST_QUANT_INSTANTIATE_CONV

HOL Kananaskis-14