--- a/src/HOL/IsaMakefile Wed May 09 19:37:21 2007 +0200
+++ b/src/HOL/IsaMakefile Wed May 09 19:37:22 2007 +0200
@@ -171,9 +171,8 @@
Hyperreal/Taylor.thy Hyperreal/FrechetDeriv.thy Hyperreal/Deriv.thy \
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 \
- Library/Infinite_Set.thy Library/Parity.thy
+ Complex/CStar.thy Complex/Complex.thy Complex/NSCA.thy Complex/NSComplex.thy \
+ Complex/document/root.tex Library/Infinite_Set.thy Library/Parity.thy
@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex