src/HOL/Parity.thy
2013-10-31 haftmann 2013-10-31 purely algebraic foundation for even/odd
2013-10-31 haftmann 2013-10-31 moving generic lemmas out of theory parity, disregarding some unused auxiliary lemmas; tuned presburger
2012-03-30 huffman 2012-03-30 remove redundant simp rule
2012-03-30 huffman 2012-03-30 add simp rules for eve/odd on numerals
2012-03-27 huffman 2012-03-27 remove redundant lemma
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-05-11 huffman 2010-05-11 fix duplicate simp rule warning
2010-05-06 haftmann 2010-05-06 tuned proof
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2010-03-06 huffman 2010-03-06 generalize some lemmas from class linordered_ring_strict to linordered_ring
2010-02-18 huffman 2010-02-18 get rid of many duplicate simp rule warnings
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-30 haftmann 2009-10-30 moved some div/mod lemmas to theory Divides
2009-10-29 haftmann 2009-10-29 moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly
2009-06-19 nipkow 2009-06-19 fixed thm name
2009-05-14 nipkow 2009-05-14 Cleaned up Parity a little
2009-04-28 haftmann 2009-04-28 stripped class recpower further
2009-03-27 haftmann 2009-03-27 normalized imports
2009-02-22 nipkow 2009-02-22 added lemmas
2009-02-05 hoelzl 2009-02-05 Added derivation lemmas for power series and theorems for the pi, arcus tangens and logarithm series
2009-01-28 haftmann 2009-01-28 Plain, Main form meeting points in import hierarchy
2009-01-21 haftmann 2009-01-21 no base sort in class import
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s