src/HOL/Complex/NSComplexArith0.thy
2003-05-05 paulson 2003-05-05 new session Complex for the complex numbers