--- a/doc-src/Ref/goals.tex Fri Oct 08 16:05:06 1999 +0200
+++ b/doc-src/Ref/goals.tex Fri Oct 08 16:16:51 1999 +0200
@@ -287,9 +287,8 @@
premise of subgoal $i$. Useful in connection with \texttt{eresolve_tac} and
\texttt{dresolve_tac}.
-\item[\ttindexbold{thms_containing} $consts$] returns all theorems
- that contain all of a given set of constants. Note that a few basic
- constants like \verb$==>$ are ignored.
+\item[\ttindexbold{thms_containing} $consts$] returns all theorems that
+ contain \emph{all} of the given constants.
\end{ttdescription}