--- a/src/HOL/IsaMakefile Thu Dec 14 22:18:08 2006 +0100
+++ b/src/HOL/IsaMakefile Thu Dec 14 22:19:39 2006 +0100
@@ -170,7 +170,7 @@
Hyperreal/NSA.thy Hyperreal/NthRoot.thy Hyperreal/Poly.thy \
Hyperreal/SEQ.thy Hyperreal/Series.thy Hyperreal/Star.thy \
Hyperreal/Taylor.thy Hyperreal/FrechetDeriv.thy Hyperreal/Deriv.thy \
- Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
+ Hyperreal/Transcendental.thy Hyperreal/hypreal_arith.ML \
Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy \
Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy \
Complex/NSCA.thy Complex/NSComplex.thy Complex/document/root.tex \