src/HOL/MacLaurin.thy
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2009-02-24 huffman 2009-02-24 make more proofs work whether or not One_nat_def is a simp rule
2009-02-06 chaieb 2009-02-06 fixed Proofs and dependencies ; Theory Dense_Linear_Order moved to Library
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-28 huffman 2008-12-28 clean up proofs of lemma Maclaurin
2008-12-24 huffman 2008-12-24 use less_iff_Suc_add instead of less_add_one
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s