# HG changeset patch
# User wenzelm
# Date 1254405823 -7200
# Node ID 6a8663ff5e442768db24aeeda6052df1dd9673db
# Parent  a692298ecbe068b347c35a8a657af95fa728ecdb
more precise dependencies;

diff -r a692298ecbe0 -r 6a8663ff5e44 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Oct 01 15:44:42 2009 +0200
+++ b/src/HOL/IsaMakefile	Thu Oct 01 16:03:43 2009 +0200
@@ -192,6 +192,7 @@
   Tools/sat_funcs.ML \
   Tools/sat_solver.ML \
   Tools/split_rule.ML \
+  Tools/transfer.ML \
   Tools/typecopy.ML \
   Tools/typedef_codegen.ML \
   Tools/typedef.ML \
@@ -258,12 +259,12 @@
   Tools/Qelim/presburger.ML \
   Tools/Qelim/qelim.ML \
   Tools/recdef.ML \
+  Tools/choice_specification.ML \
   Tools/res_atp.ML \
   Tools/res_axioms.ML \
   Tools/res_clause.ML \
   Tools/res_hol_clause.ML \
   Tools/res_reconstruct.ML \
-  Tools/choice_specification.ML \
   Tools/string_code.ML \
   Tools/string_syntax.ML \
   Tools/TFL/casesplit.ML \
@@ -308,7 +309,6 @@
   Taylor.thy \
   Transcendental.thy \
   Tools/float_syntax.ML \
-  Tools/transfer.ML \
   Tools/Qelim/ferrante_rackoff_data.ML \
   Tools/Qelim/ferrante_rackoff.ML \
   Tools/Qelim/langford_data.ML \