added Tim's find_theorems performance patch
authorkleing
Fri Nov 28 11:55:46 2008 +0100 (2008-11-28)
changeset 28901028a52be4078
parent 28900 53fd5cc685b4
child 28902 2019bcc9d8bf
added Tim's find_theorems performance patch
CONTRIBUTORS
     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