SIMPLE_QUANT_INST_ss : simpLib.ssfrag
STRUCTURE
SYNOPSIS
A simpset fragment corresponding to quantHeuristicsLib.SIMPLE_QUANT_INSTANTIATE_CONV.
SEEALSO
HOL  Trindemossen-1