clarified Antiquote.antiq_reports;
Thy_Output.output_text: support for markdown (inactive);
eliminared Thy_Output.check_text -- uniform use of Thy_Output.output_text;
section \<open>Comprehensive Complex Theory\<close>
theory Complex_Main
imports
Main
Real
Complex
Transcendental
Taylor
Deriv
begin
end