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