Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 32327 0971cc0b6a57
parent 32298 8ffc607c345d
child 32332 bc5cec7b2be6 
--- a/src/HOL/IsaMakefile	Tue Aug 04 16:13:16 2009 +0200
+++ b/src/HOL/IsaMakefile	Tue Aug 04 19:20:24 2009 +0200
@@ -231,12 +231,13 @@
   $(SRC)/Provers/Arith/combine_numerals.ML \
   $(SRC)/Provers/Arith/extract_common_term.ML \
   $(SRC)/Tools/Metis/metis.ML \
+  Tools/ATP_Manager/atp_manager.ML \
+  Tools/ATP_Manager/atp_minimal.ML \
+  Tools/ATP_Manager/atp_wrapper.ML \
   Tools/Groebner_Basis/groebner.ML \
   Tools/Groebner_Basis/misc.ML \
+  Tools/Groebner_Basis/normalizer.ML \
   Tools/Groebner_Basis/normalizer_data.ML \
-  Tools/Groebner_Basis/normalizer.ML \
-  Tools/atp_manager.ML \
-  Tools/atp_wrapper.ML \
   Tools/int_arith.ML \
   Tools/list_code.ML \
   Tools/meson.ML \
isabelle