Change the title of the automatic tactic chapter and of its sections.

Prefer the term 'solver' to 'decision procedure'.

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/sphinx/proofs/automatic-tactics/index.rst b/doc/sphinx/proofs/automatic-tactics/index.rst
index fa0b0e51af..c3712b109d 100644
--- a/doc/sphinx/proofs/automatic-tactics/index.rst
+++ b/doc/sphinx/proofs/automatic-tactics/index.rst
@@ -1,13 +1,13 @@
 .. _automatic-tactics:
 
 =====================================================
-Built-in decision procedures and programmable tactics
+Automatic solvers and programmable tactics
 =====================================================
 
 Some tactics are largely automated and are able to solve complex
-goals.  This chapter presents both some decision procedures that can
-be used to solve some specific categories of goals, and some
-programmable tactics, that the user can instrument to handle some
+goals.  This chapter presents both built-in solvers that can
+be used on specific categories of goals and
+programmable tactics that the user can instrument to handle
 complex goals in new domains.
 
 .. toctree::