--- a/src/HOL/IsaMakefile Wed Apr 09 12:52:45 2003 +0200
+++ b/src/HOL/IsaMakefile Fri Apr 11 23:11:13 2003 +0200
@@ -95,7 +95,7 @@
Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \
Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
- Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
+ Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \
Nat.thy NatArith.ML NatArith.thy Numeral.thy \
Power.ML Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
Recdef.thy Record.thy Relation.ML Relation.thy Relation_Power.ML \