src/HOL/NSA/HSEQ.thy
2011-08-28 huffman 2011-08-28 discontinue many legacy theorems about LIM and LIMSEQ, in favor of tendsto theorems
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2009-04-28 haftmann 2009-04-28 stripped class recpower further
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-09-01 nipkow 2008-09-01 renamed lemma
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory