src/HOL/Nat_Numeral.thy
2010-02-08 haftmann 2010-02-08 hide fact Nat.add_0_right; make add_0_right from Groups priority
2010-02-08 haftmann 2010-02-08 dropped accidental duplication of "lin" prefix from cs. 108662d50512
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-10-29 haftmann 2009-10-29 moved some lemmas to theory Int
2009-10-28 haftmann 2009-10-28 moved theory Divides after theory Nat_Numeral; tuned some proof texts
2009-07-14 haftmann 2009-07-14 prefer code_inline over code_unfold; use code_unfold_post where appropriate
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-05-15 haftmann 2009-05-15 tuned code postprocessor
2009-05-11 haftmann 2009-05-11 merged
2009-05-11 haftmann 2009-05-11 tuned interface of Lin_Arith
2009-05-11 huffman 2009-05-11 newline at end of file
2009-05-09 nipkow 2009-05-09 lemmas by Andreas Lochbihler
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