----------------------------------------------------------------------
DECIDE_TAC                                                   (bossLib)
----------------------------------------------------------------------
DECIDE_TAC : tactic

SYNOPSIS
Invoke decision procedure(s).

KEYWORDS
arithmetic, decision procedure.

DESCRIBE
{DECIDE_TAC} is the tactical version of {DECIDE}.

FAILURE
As for {DECIDE}

SEEALSO
bossLib.DECIDE.

----------------------------------------------------------------------