1\DOC DECIDE_TAC
2
3\TYPE {DECIDE_TAC : tactic}
4
5\SYNOPSIS
6Invoke decision procedure(s).
7
8\KEYWORDS
9arithmetic, decision procedure.
10
11\DESCRIBE
12{DECIDE_TAC} is the tactical version of {DECIDE}.
13
14\FAILURE
15As for {DECIDE}
16
17\SEEALSO
18bossLib.DECIDE.
19
20\ENDDOC
21