# HG changeset patch
# User haftmann
# Date 1288874231 -3600
# Node ID 852d6ed1b5c63e91291a0784c53a90e0a0604ff3
# Parent  129d31b162f3c0cca52ff5d7fca306cec73c6629# Parent  d7dfec07806a6c9ab919032515002e6ce28c285f
merged

diff -r d7dfec07806a -r 852d6ed1b5c6 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Nov 04 09:54:16 2010 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 04 13:37:11 2010 +0100
@@ -172,6 +172,7 @@
   Sum_Type.thy \
   Tools/abel_cancel.ML \
   Tools/arith_data.ML \
+  Tools/async_manager.ML \
   Tools/cnf_funcs.ML \
   Tools/Datatype/datatype_abs_proofs.ML \
   Tools/Datatype/datatype_aux.ML \
@@ -277,7 +278,6 @@
   $(SRC)/Provers/Arith/cancel_numerals.ML \
   $(SRC)/Provers/Arith/combine_numerals.ML \
   $(SRC)/Provers/Arith/extract_common_term.ML \
-  Tools/async_manager.ML \
   Tools/ATP/atp_problem.ML \
   Tools/ATP/atp_proof.ML \
   Tools/ATP/atp_systems.ML \