diff options
| -rw-r--r-- | doc/refman/RefMan-tac.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-tac.tex b/doc/refman/RefMan-tac.tex index 33f6730e0a..ee40a0d51e 100644 --- a/doc/refman/RefMan-tac.tex +++ b/doc/refman/RefMan-tac.tex @@ -1339,7 +1339,7 @@ in the list of subgoals remaining to prove. \label{generalize} This tactic applies to any goal. It generalizes the conclusion with -respect to one of its subterms. +respect to some term. \Example |