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 |