more accurate markup for command timing, notably for theory pseudo-command in batch-build, but also for accidental occurrences of command keywords (e.g. in command definition);
section \<open>Comprehensive Complex Theory\<close>
theory Complex_Main
imports
Complex
MacLaurin
Binomial_Plus
begin
end