--- a/src/HOL/IsaMakefile Wed Feb 07 17:25:39 2007 +0100
+++ b/src/HOL/IsaMakefile Wed Feb 07 17:26:04 2007 +0100
@@ -93,7 +93,7 @@
Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML \
Integ/qelim.ML Integ/reflected_cooper.ML Integ/reflected_presburger.ML \
LOrder.thy Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy \
- OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy PreList.thy \
+ OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy Predicate.thy PreList.thy \
Product_Type.thy ROOT.ML Recdef.thy Record.thy Refute.thy Relation.thy \
Relation_Power.thy Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy \
Sum_Type.thy Tools/res_reconstruct.ML Tools/ATP/reduce_axiomsN.ML \