src/HOL/Complex/ex/NSPrimes.ML
2004-02-10 paulson 2004-02-10 generic of_nat and of_int functions, and generalization of iszero and neg
2004-02-02 paulson 2004-02-02 Conversion of HyperNat to Isar format and its declaration as a semiring
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers