took out some datatype tests for Refute -- these yield timeouts on some Isatests after transition to new datatypes, for some reason (and Refute is obsolete anyway)
header {* Comprehensive Complex Theory *}theory Complex_Mainimports Main Real Complex Transcendental Taylor Derivbeginend