merged
authorhaftmann
Thu, 04 Nov 2010 13:37:11 +0100
changeset 40355 852d6ed1b5c6
parent 40345 129d31b162f3 (diff)
parent 40354 d7dfec07806a (current diff)
child 40356 3157408633ee
child 40369 53dca3bd4250
merged
src/HOL/IsaMakefile
src/HOL/Library/Quicksort.thy
--- 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 \