DECIDE_TAC
bossLib.DECIDE_TAC : tactic
Invoke decision procedure(s).
DECIDE_TAC is the tactical version of DECIDE.
Failure
As for DECIDE
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
DECIDE_TACbossLib.DECIDE_TAC : tactic
Invoke decision procedure(s).
DECIDE_TAC is the tactical version of DECIDE.
As for DECIDE