src/HOL/Complex/NSComplex.thy
2003-12-23 paulson 2003-12-23 tidying up hcomplex arithmetic
2003-12-23 paulson 2003-12-23 type hcomplex is now in class field
2003-12-22 paulson 2003-12-22 converted Complex/NSComplex to Isar script
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers