src/HOL/Complex/CSeries.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-29 paulson 2004-07-29 removed some [iff] declarations from RealDef.thy, concerning inequalities
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-02-21 paulson 2004-02-21 conversion of Complex/CSeries to Isar script
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers