bossLib.SQI_ss

SQI_ss : simpLib.ssfrag

STRUCTURE: bossLib
SYNOPSIS: A synonym for quantHeuristicsLib.SIMPLE_QUANT_INST_ss.
SEEALSO: SIMPLE_QUANT_INST_ss

HOL Kananaskis-11