--- a/src/HOL/IsaMakefile Wed Nov 21 00:32:10 2001 +0100
+++ b/src/HOL/IsaMakefile Wed Nov 21 00:33:04 2001 +0100
@@ -87,8 +87,7 @@
Integ/nat_bin.ML Integ/NatBin.thy Integ/NatSimprocs.ML \
Integ/NatSimprocs.thy Integ/int_arith1.ML Integ/int_arith2.ML \
Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
- Inverse_Image.ML Inverse_Image.thy 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.ML Map.thy Nat.ML \
Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
Option.ML Option.thy Power.ML Power.thy PreList.thy \
Product_Type.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \