moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
(* Title: HOL/Complex_Main.thy
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 2003 University of Cambridge
*)
header{*Comprehensive Complex Theory*}
theory Complex_Main
imports
Main
Real
Fundamental_Theorem_Algebra
Log
Ln
Taylor
Integration
FrechetDeriv
begin
end