FAST_QUANT_INSTANTIATE_TAC : quant_param list -> tactic
STRUCTURE
SYNOPSIS
A fast version of quantHeuristicsLib.QUANT_INSTANTIATE_TAC. It does not preprocess the term in order to minimise the number of variable occurrences.
SEEALSO
HOL  Trindemossen-1