src/HOL/Series.thy
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-11-09 wenzelm 2009-11-09 eliminated hard tabulators;
2009-10-28 paulson 2009-10-28 New theory Probability, which contains a development of measure theory
2009-10-05 paulson 2009-10-05 New lemmas connected with the reals and infinite series
2009-09-25 paulson 2009-09-25 New lemmas involving the real numbers, especially limits and series
2009-05-28 huffman 2009-05-28 generalize constants in SEQ.thy to class metric_space
2009-04-28 haftmann 2009-04-28 stripped class recpower further
2009-03-22 nipkow 2009-03-22 1. New cancellation simprocs for common factors in inequations 2. Updated the documentation
2009-02-24 huffman 2009-02-24 make more proofs work whether or not One_nat_def is a simp rule
2009-02-05 hoelzl 2009-02-05 Added derivation lemmas for power series and theorems for the pi, arcus tangens and logarithm series
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s