| Thu, 18 Aug 2016 11:10:07 +0200 | traytel | derive pred_mono property for BNFs | changeset | files |
| 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 |