diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 9ef74c53..35766b46 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -3550,8 +3550,8 @@ discussed for the classic Isabelle version (@pxref{Classic Isabelle}) do @subsection General commands for Isabelle/Isar @strong{Find theorems}. This toolbar/menu command invokes -@code{thms_containing}. Several constants may be given, separated by -white space as usual in Isar. +@code{thms_containing}. Several term arguments may be given, separated +by white space as usual in Isar. @node Specific commands for Isabelle/Isar @subsection Specific commands for Isabelle/Isar |