diff options
| author | Makarius Wenzel | 2001-02-01 17:42:08 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-02-01 17:42:08 +0000 |
| commit | afd9561246b8ba46c8c9b972202dda881ddd5c94 (patch) | |
| tree | 7b633261955e7632f1ab09e34158ca469dde3e12 | |
| parent | 7de880861a9b1c85212bc0ff7b0d8db5eea7297d (diff) | |
updated thms_containing;
| -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 |