src/HOL/Complex/NSCA.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-04-22 wenzelm 2004-04-22 constdefs: proper order;
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-23 paulson 2004-02-23 converted HOL/Complex/NSCA to Isar script
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2003-12-23 paulson 2003-12-23 tidying up hcomplex arithmetic
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers