From 15363949f73a355a2fd4338ca260a97ebd3f500f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 May 2007 09:55:44 +0000
Subject: Fix rename

---
 isar/isar-find-theorems.el | 4 ++--
 1 file 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
-- 
cgit v1.2.3