Sat, 09 May 2009 07:25:22 +0200 | nipkow | lemmas by Andreas Lochbihler | file | diff | annotate |
Fri, 08 May 2009 09:48:07 +0200 | haftmann | modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs | file | diff | annotate |
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 |