equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 |
6 |
7 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
8 -------------------------------------- |
8 -------------------------------------- |
|
9 |
|
10 * November 2008: Timothy Bourke, NICTA |
|
11 Performance improvement (factor 50) for find_theorems. |
9 |
12 |
10 * October 2008: Fabian Immler, TUM |
13 * October 2008: Fabian Immler, TUM |
11 ATP manager for Sledgehammer, based on ML threads instead of Posix |
14 ATP manager for Sledgehammer, based on ML threads instead of Posix |
12 processes. Additional ATP wrappers, including remote SystemOnTPTP |
15 processes. Additional ATP wrappers, including remote SystemOnTPTP |
13 services. |
16 services. |