WORD_DECIDE_TAC

wordsLib.WORD_DECIDE_TAC : tactic

A decision procedure tactic for words.

WORD_DECIDE_TAC is a tactical verion of WORD_DECIDE.

Failure

As for WORD_DECIDE.

See also

wordsLib.WORD_DECIDE