diff options
Diffstat (limited to 'doc/refman/RefMan-tac.tex')
-rw-r--r-- | doc/refman/RefMan-tac.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/refman/RefMan-tac.tex b/doc/refman/RefMan-tac.tex index 8b3c6cbdb..9aa5b9474 100644 --- a/doc/refman/RefMan-tac.tex +++ b/doc/refman/RefMan-tac.tex @@ -120,6 +120,7 @@ subgoal is proved. Otherwise, it fails. \end{ErrMsgs} \begin{Variants} +\tacindex{eassumption}} \item \texttt{eassumption} This tactic behaves like \texttt{assumption} but is able to handle |