DECIDE_TAC : tactic
STRUCTURE
SYNOPSIS
Invoke decision procedure(s).
DESCRIPTION
DECIDE_TAC is the tactical version of DECIDE.
FAILURE
As for DECIDE
SEEALSO
HOL  Trindemossen-1