src/HOL/Complex/ex/NSPrimes.thy
2003-05-28 paulson 2003-05-28 examples now use Complex_Main
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers