src/HOL/NSA/HTranscendental.thy
2011-08-19 huffman 2011-08-19 remove redundant lemma exp_ln_eq in favor of ln_unique
2010-07-19 haftmann 2010-07-19 diff_minus subsumes diff_def
2009-05-27 huffman 2009-05-27 add constants sin_coeff, cos_coeff
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory