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