
diff -r 194e8f3439fe -r 30cd9d89a0fb src/HOL/Complex/Complex_Main.thy
--- a/src/HOL/Complex/Complex_Main.thy	Thu Nov 20 19:06:05 2008 +0100
+++ b/src/HOL/Complex/Complex_Main.thy	Thu Nov 20 19:43:34 2008 +0100
@@ -14,6 +14,7 @@
   "../Hyperreal/Ln"
   "../Hyperreal/Taylor"
   "../Hyperreal/Integration"
+  "../Hyperreal/FrechetDeriv"
 begin
 
 end




