src/HOL/NSA/HLim.thy
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2010-07-19 haftmann 2010-07-19 diff_minus subsumes diff_def
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2009-05-29 huffman 2009-05-29 generalize constants from Lim.thy to class metric_space
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory