src/HOL/ex/HarmonicSeries.thy
2010-10-24 nipkow 2010-10-24 nat_number -> eval_nat_numeral
2010-05-11 hoelzl 2010-05-11 Added atLeastAtMost_singleton_iff, atLeastAtMost_singleton'
2010-02-23 huffman 2010-02-23 adapt to changes in simpset
2009-11-07 webertj 2009-11-07 Turned sections into subsections (better document structure).
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s