
diff -r 11fca474d87a -r b1278ed3cd46 src/HOL/Nonstandard_Analysis/HTranscendental.thy
--- a/src/HOL/Nonstandard_Analysis/HTranscendental.thy	Sat Nov 04 18:57:49 2017 +0100
+++ b/src/HOL/Nonstandard_Analysis/HTranscendental.thy	Sat Nov 04 19:17:19 2017 +0100
@@ -8,7 +8,7 @@
 section\<open>Nonstandard Extensions of Transcendental Functions\<close>
 
 theory HTranscendental
-imports HOL.Transcendental HSeries HDeriv
+imports Complex_Main HSeries HDeriv
 begin
 
 definition




