diff options
Diffstat (limited to 'doc/refman/AddRefMan-pre.tex')
| -rw-r--r-- | doc/refman/AddRefMan-pre.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/refman/AddRefMan-pre.tex b/doc/refman/AddRefMan-pre.tex index 85811c1450..461e8e6d0c 100644 --- a/doc/refman/AddRefMan-pre.tex +++ b/doc/refman/AddRefMan-pre.tex @@ -48,6 +48,8 @@ Manual. tactic to do rewriting on types equipped with specific (only partially substitutive) equality. The chapter is contributed by Clément Renard. +\item[Calling external provers] This chapter describes several tactics + which call external provers. \end{description} |