| Tue, 11 May 2010 07:45:47 +0100 | Christian Urban | tuned proof so that no simplifier warning is printed | changeset | files |
| Tue, 11 May 2010 08:36:02 +0200 | haftmann | renamed former Int.int_induct to Int.int_of_nat_induct, former Presburger.int_induct to Int.int_induct: is more conservative and more natural than the intermediate solution | changeset | files |
| Tue, 11 May 2010 08:30:02 +0200 | haftmann | merged | changeset | files |
| Tue, 11 May 2010 08:29:42 +0200 | haftmann | tuned | changeset | files |
| Tue, 11 May 2010 08:29:42 +0200 | haftmann | theorem Presburger.int_induct has been renamed to Int.int_bidirectional_induct | changeset | files |
| Mon, 10 May 2010 15:33:32 +0200 | haftmann | tuned; dropped strange myassoc2 | changeset | files |
| Mon, 10 May 2010 15:24:43 +0200 | haftmann | stylized COOPER exception | changeset | files |
| Mon, 10 May 2010 15:21:13 +0200 | haftmann | simplified oracle | changeset | files |