src/HOL/NSA/NSComplex.thy
2011-09-06 huffman 2011-09-06 remove redundant lemmas i_mult_eq and i_mult_eq2 in favor of i_squared
2011-09-04 huffman 2011-09-04 remove redundant lemmas expi_add and expi_zero
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2010-02-08 haftmann 2010-02-08 renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
2009-12-18 huffman 2009-12-18 rename equals_zero_I to minus_unique (keep old name too)
2009-04-28 haftmann 2009-04-28 power constraint needed, though
2009-04-28 haftmann 2009-04-28 stripped class recpower further
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