--- a/src/ZF/IsaMakefile Fri Aug 23 17:10:47 2002 +0200
+++ b/src/ZF/IsaMakefile Sat Aug 24 18:45:21 2002 +0200
@@ -35,7 +35,7 @@
Fixedpt.thy Inductive.ML Inductive.thy \
InfDatatype.thy Integ/Bin.ML Integ/Bin.thy Integ/EquivClass.ML \
Integ/EquivClass.thy Integ/Int.ML Integ/Int.thy Integ/IntArith.thy \
- Integ/IntDiv.ML Integ/IntDiv.thy Integ/int_arith.ML \
+ Integ/IntDiv.thy Integ/int_arith.ML \
Let.ML Let.thy List.thy Main.ML Main.thy \
Main_ZFC.ML Main_ZFC.thy Nat.thy Order.thy OrderArith.thy \
OrderType.thy Ordinal.thy OrdQuant.thy Perm.thy \