| Mon, 04 May 2009 14:49:49 +0200 | haftmann | dropped duplicate lemma sum_nonneg_eq_zero_iff | file | diff | annotate |
| Tue, 28 Apr 2009 15:50:29 +0200 | haftmann | collected square lemmas in Nat_Numeral | file | diff | annotate |
| Mon, 27 Apr 2009 10:11:46 +0200 | haftmann | whitespace tuning | file | diff | annotate |
| Wed, 22 Apr 2009 19:09:21 +0200 | haftmann | power operation defined generic | file | diff | annotate |
| Wed, 15 Apr 2009 15:30:39 +0200 | haftmann | theory NatBin now named Nat_Numeral | file | diff | annotate | base |