--- a/src/ZF/IsaMakefile Thu May 23 17:05:21 2002 +0200
+++ b/src/ZF/IsaMakefile Fri May 24 13:15:37 2002 +0200
@@ -38,7 +38,7 @@
Integ/IntDiv.ML Integ/IntDiv.thy Integ/int_arith.ML \
Integ/twos_compl.ML Let.ML Let.thy List.ML 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.ML Perm.thy \
+ OrderType.thy Ordinal.thy OrdQuant.thy Perm.thy \
QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Rel.ML Rel.thy Sum.ML \
Sum.thy Tools/cartprod.ML Tools/datatype_package.ML \
Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML \