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 |