# 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