1.1 --- a/CONTRIBUTORS Fri Nov 28 11:37:20 2008 +0100
1.2 +++ b/CONTRIBUTORS Fri Nov 28 11:55:46 2008 +0100
1.3 @@ -7,6 +7,9 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 +* November 2008: Timothy Bourke, NICTA
1.8 + Performance improvement (factor 50) for find_theorems.
1.9 +
1.10 * October 2008: Fabian Immler, TUM
1.11 ATP manager for Sledgehammer, based on ML threads instead of Posix
1.12 processes. Additional ATP wrappers, including remote SystemOnTPTP