| 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 |
| Wed, 17 Aug 2016 09:46:32 +0200 | traytel | merged | changeset | files |
| Fri, 04 Mar 2016 17:50:22 +0100 | traytel | coinduction method accepts a list of coinduction rules (takes the first matching one) | changeset | files |
| Tue, 16 Aug 2016 20:54:37 +0200 | wenzelm | more robust; | changeset | files |
| Tue, 16 Aug 2016 15:55:11 +0200 | wenzelm | clarified presentation order, according to typical amounts; | changeset | files |
| Tue, 16 Aug 2016 15:51:44 +0200 | wenzelm | present ML timing as well; | changeset | files |