QI_ss : ssfrag
STRUCTURE
SYNOPSIS
Simpset-fragment for instantiating quantifiers with some default heuristics.
DESCRIPTION
QI_ss is short for QUANT_INST_ss [std_qp].
SEEALSO
HOL  Kananaskis-14