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