src/HOL/NSA/HSeries.thy
2012-03-30 huffman 2012-03-30 removed redundant nat-specific copies of theorems
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2009-03-04 huffman 2009-03-04 declare power_Suc [simp]; remove redundant type-specific versions of power_Suc
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