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