WORD_DECIDE_TAC : tactic
STRUCTURE
SYNOPSIS
A decision procedure tactic for words.
DESCRIPTION
WORD_DECIDE_TAC is a tactical verion of WORD_DECIDE.
FAILURE
As for WORD_DECIDE.
SEEALSO
HOL  Kananaskis-13