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