src/HOL/Complex_Main.thy

prefer polyml-5.2.1 over odd polyml-5.3.0-old;

header {* Comprehensive Complex Theory *}

theory Complex_Main
imports
  Main
  Real
  SupInf
  Complex
  Log
  Ln
  Taylor
  Deriv
begin

end