| Wed, 17 Aug 2016 16:16:38 +0200 | eberlm | Tuned L'Hospital | changeset | files |
| Wed, 17 Aug 2016 10:26:12 +0200 | boehmes | merged | changeset | files |
| Wed, 17 Aug 2016 10:23:49 +0200 | boehmes | more complete simpset for linear arithmetic to avoid warnings: terms such as (2x + 2y)/2 can then be simplified by the linear arithmetic prover during its proof replay | changeset | files |