Mon, 10 May 2010 14:55:04 +0200 | haftmann | moved int induction lemma to theory Int as int_bidirectional_induct | changeset | files |
Mon, 10 May 2010 14:18:41 +0200 | haftmann | tuned theory text; dropped unused lemma | changeset | files |
Mon, 10 May 2010 14:11:50 +0200 | haftmann | one structure is better than three | changeset | files |