src/HOL/Parity.thy
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