src/HOL/Complex/NSCA.ML
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-17 paulson 2003-12-17 converted Hyperreal/HyperDef to Isar script
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers