| Tue, 11 May 2010 08:52:22 +0100 | Christian Urban | merged | changeset | files |
| 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 |