--- a/src/HOL/Library/FrechetDeriv.thy Thu Jan 31 12:09:07 2013 +0100
+++ b/src/HOL/Library/FrechetDeriv.thy Thu Jan 31 17:42:12 2013 +0100
@@ -5,7 +5,7 @@
header {* Frechet Derivative *}
theory FrechetDeriv
-imports Complex_Main
+imports "~~/src/HOL/Complex_Main"
begin
definition