src/HOL/Complex/ex/Sqrt_Script.thy
2003-12-10 paulson 2003-12-10 Moving some theorems from Real/RealArith0.ML
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