--- 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 \