--- a/src/HOL/Library/FrechetDeriv.thy Thu Feb 28 12:09:32 2013 +0100
+++ b/src/HOL/Library/FrechetDeriv.thy Thu Feb 28 12:24:24 2013 +0100
@@ -5,7 +5,7 @@
header {* Frechet Derivative *}
theory FrechetDeriv
-imports "~~/src/HOL/Complex_Main"
+imports Complex_Main
begin
definition