src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Wed Oct 28 17:44:03 2009 +0100
+++ b/src/HOL/IsaMakefile	Wed Oct 28 19:09:47 2009 +0100
@@ -138,7 +138,6 @@
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
   Complete_Lattice.thy \
   Datatype.thy \
-  Divides.thy \
   Extraction.thy \
   Finite_Set.thy \
   Fun.thy \
@@ -246,6 +245,7 @@
   ATP_Linkup.thy \
   Code_Evaluation.thy \
   Code_Numeral.thy \
+  Divides.thy \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \