diff -r 57975b45ab70 -r 6b1ccda8bf19 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Feb 18 19:32:26 2009 -0800
+++ b/src/HOL/IsaMakefile	Wed Feb 18 19:51:39 2009 -0800
@@ -271,7 +271,6 @@
   Complex.thy \
   Deriv.thy \
   Fact.thy \
-  FrechetDeriv.thy \
   Integration.thy \
   Lim.thy \
   Ln.thy \
@@ -315,6 +314,7 @@
   Library/Executable_Set.thy Library/Infinite_Set.thy			\
   Library/FuncSet.thy Library/Permutations.thy Library/Determinants.thy\
   Library/Finite_Cartesian_Product.thy \
+  Library/FrechetDeriv.thy \
   Library/Fundamental_Theorem_Algebra.thy \
   Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy	\
   Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy	\