isabelle: File revisions

src/HOL/Series.thy

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

isabelle