diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:55:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:55:44 +0000 |
| commit | 15363949f73a355a2fd4338ca260a97ebd3f500f (patch) | |
| tree | 1b3466e7e4474744f3ec4a3c3d4c3c98e07caf86 /isar | |
| parent | daf9dc5ce8d152603c9edcfc1e966f471287f7a6 (diff) | |
Fix rename
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-find-theorems.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el index beeb4905..2f1d0275 100644 --- a/isar/isar-find-theorems.el +++ b/isar/isar-find-theorems.el @@ -350,10 +350,10 @@ (list num_ pattern_ intro_ elim_ dest_ name_ simp_)) " "))) - ;; note that isar-find-theorems with an argument provided + ;; note that proof-find-theorems with an argument provided ;; will merely pass this on to Isabelle, and NOT display ;; the search form again - (isar-find-theorems searchstring)))))) + (proof-find-theorems searchstring)))))) ) ;; "Multiple search patterns, theorem names and simplification terms can be |