Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | changeset | files |
Tue, 28 Apr 2009 19:15:50 +0200 | haftmann | merged | changeset | files |
Tue, 28 Apr 2009 16:58:23 +0200 | haftmann | power constraint needed, though | changeset | files |
Tue, 28 Apr 2009 15:50:32 +0200 | haftmann | stripped lemma duplicatesrc/HOL/Word/Num_Lemmas.thy | changeset | files |
Tue, 28 Apr 2009 15:50:30 +0200 | haftmann | stripped class recpower further | changeset | files |
Tue, 28 Apr 2009 15:50:30 +0200 | haftmann | lemma sum_nonneg_eq_zero_iff | changeset | files |
Tue, 28 Apr 2009 15:50:29 +0200 | haftmann | reorganization of power lemmas | changeset | files |