src/HOL/Complex/CStar.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-03-15 paulson 2004-03-15 heavy tidying
2004-03-04 paulson 2004-03-04 new material from Avigad, and simplified treatment of division by 0
2004-02-21 paulson 2004-02-21 conversion of Complex/CStar to Isar script
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers