src/HOL/Nat_Numeral.thy
2009-05-08 haftmann 2009-05-08 modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs
2009-05-04 haftmann 2009-05-04 dropped duplicate lemma sum_nonneg_eq_zero_iff
2009-04-28 haftmann 2009-04-28 collected square lemmas in Nat_Numeral
2009-04-27 haftmann 2009-04-27 whitespace tuning
2009-04-22 haftmann 2009-04-22 power operation defined generic
2009-04-15 haftmann 2009-04-15 theory NatBin now named Nat_Numeral