src/HOL/Complex/CLim.thy
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
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/CLim to Isar script
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers