CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Feb 11 10:51:31 2009 +0100
+++ b/CONTRIBUTORS	Wed Feb 11 23:05:58 2009 +1100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2008: Timothy Bourke, NICTA
+  "solves" criterion for find_theorems and auto_solve option
+
 * December 2008: Clemens Ballarin, TUM
   New locale implementation.