wordsLib.BITS_INTRO

BITS_INTRO_ss : ssfrag

STRUCTURE: wordsLib
SYNOPSIS: Simplification fragment that applies the conversion BITS_INTRO_CONV.
SEEALSO: BITS_INTRO_CONV

HOL Kananaskis-14