WORD_SUB_ss : ssfrag
STRUCTURE
SYNOPSIS
Simplification fragment for words.
DESCRIPTION
The fragment WORD_SUB_ss applies the conversion wordsLib.WORD_SUB_CONV.
COMMENTS
This fragment should not be used in combination with wordsLib.WORD_ARITH_ss, which also excludes use with wordsLib.WORD_ss and srw_ss.
SEEALSO
HOL  Kananaskis-11