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 |