src/HOL/Complex/Complex.thy
2004-01-01 paulson 2004-01-01 conversion of Real/PReal to Isar script; type "complex" is now in class "field"
2004-01-01 paulson 2004-01-01 tweaking of lemmas in RealDef, RealOrd
2003-12-23 paulson 2003-12-23 converting Complex/Complex.ML to Isar
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers