From 726b5117f4e98affe497224f7d1a75b036b27378 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:08:36 +0000
Subject: Added implementation of proof-toolbar-find

---
 generic/proof-toolbar.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index c8cfa3e7..1fda10dc 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -452,8 +452,7 @@ Move point if the end of the locked position is invisible."
 (defun proof-toolbar-find-enable-p () 
   (proof-shell-available-p))
 
-(defun proof-toolbar-find ()
-  nil)
+(defalias 'proof-toolbar-find 'proof-find-theorems)
 
  
 ;; 
-- 
cgit v1.2.3