WORD_CANCEL_CONV : conv
STRUCTURE
wordsLib
SYNOPSIS
Conversion that forms the basis of
wordsLib.WORD_CANCEL_ss
.
SEEALSO
WORD_CANCEL_ss
HOL
Kananaskis-10