src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Feb 24 22:46:16 2012 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 24 22:46:44 2012 +0100
@@ -197,7 +197,6 @@
   Partial_Function.thy \
   Plain.thy \
   Power.thy \
-  Predicate.thy \
   Product_Type.thy \
   Relation.thy \
   Rings.thy \
@@ -294,6 +293,7 @@
   Nitpick.thy \
   Numeral_Simprocs.thy \
   Presburger.thy \
+  Predicate.thy \
   Predicate_Compile.thy \
   Quickcheck.thy \
   Quickcheck_Exhaustive.thy \