rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
misc cleanup of mathematical glyphs, with bold version synthesized by fontforge;
header {* Comprehensive Complex Theory *}
theory Complex_Main
imports
Main
Real
SupInf
Complex
Log
Ln
Taylor
Integration
begin
end