diff -r 9e58e666074d -r a9a762f586b5 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Dec 13 14:31:02 2004 +0100
+++ b/src/HOL/IsaMakefile	Mon Dec 13 15:06:59 2004 +0100
@@ -90,9 +90,8 @@
   Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Parity.thy \
   Integ/int_arith1.ML Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
   Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
-  Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \
-  Nat.thy NatArith.ML NatArith.thy \
-  Power.thy PreList.thy Product_Type.ML Product_Type.thy \
+  Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
+  Nat.ML Nat.thy NatArith.thy Power.thy PreList.thy Product_Type.thy \
   Refute.thy ROOT.ML \
   Recdef.thy Reconstruction.thy\
   Record.thy Relation.ML Relation.thy Relation_Power.ML \