src/HOL/NSA/NSComplex.thy
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