| Wed, 23 Sep 2009 11:33:52 +0200 | haftmann | hide newly introduced constants | changeset | files |
| Tue, 22 Sep 2009 11:26:46 +0200 | Philipp Meyer | used standard fold function and type aliases | changeset | files |
| Mon, 21 Sep 2009 15:05:26 +0200 | Philipp Meyer | sos method generates and uses proof certificates | changeset | files |
| Tue, 22 Sep 2009 20:25:31 +0200 | wenzelm | full reserve of worker threads -- for improved CPU utilization; | changeset | files |
| Tue, 22 Sep 2009 15:38:12 +0200 | haftmann | merged | changeset | files |
| Tue, 22 Sep 2009 15:36:55 +0200 | haftmann | be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer | changeset | files |