SQI_ss : simpLib.ssfrag
STRUCTURE
bossLib
SYNOPSIS
A synonym for
quantHeuristicsLib.SIMPLE_QUANT_INST_ss
.
SEEALSO
SIMPLE_QUANT_INST_ss
HOL
Kananaskis-13