simplified process_file, eliminated Toplevel.excursion;
load_thy: separation of Toplevel.command_excursion and ThyOutput.present_thy (intermediate state persist until commit_exit);
(* Title: HOL/Complex/Complex_Main.thy
ID: $Id$
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 2003 University of Cambridge
*)
header{*Comprehensive Complex Theory*}
theory Complex_Main
imports
"../Main"
Fundamental_Theorem_Algebra
"../Hyperreal/Log"
"../Hyperreal/Ln"
"../Hyperreal/Taylor"
"../Hyperreal/Integration"
begin
end