# HG changeset patch
# User kleing
# Date 1227869746 -3600
# Node ID 028a52be407825d9232d7e5176043c380ad7270b
# Parent  53fd5cc685b47d881eaac3b1f373469afd1ced7f
added Tim's find_theorems performance patch

diff -r 53fd5cc685b4 -r 028a52be4078 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Nov 28 11:37:20 2008 +0100
+++ b/CONTRIBUTORS	Fri Nov 28 11:55:46 2008 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* November 2008: Timothy Bourke, NICTA
+  Performance improvement (factor 50) for find_theorems.
+
 * October 2008: Fabian Immler, TUM
   ATP manager for Sledgehammer, based on ML threads instead of Posix
   processes.  Additional ATP wrappers, including remote SystemOnTPTP