BITS_INTRO_ss : ssfrag
STRUCTURE
SYNOPSIS
Simplification fragment that applies the conversion BITS_INTRO_CONV.
SEEALSO
HOL  Kananaskis-13