--- a/src/HOL/IsaMakefile Thu Jun 21 20:48:47 2007 +0200
+++ b/src/HOL/IsaMakefile Thu Jun 21 20:48:48 2007 +0200
@@ -92,14 +92,13 @@
Predicate.thy Product_Type.thy ROOT.ML Recdef.thy \
Record.thy Refute.thy Relation.thy Relation_Power.thy \
Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy Sum_Type.thy \
- Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \
- Tools/Ferrante_Rackoff/ferrante_rackoff_data.ML \
- Tools/Ferrante_Rackoff/ferrante_rackoff.ML \
+ Groebner_Basis.thy Tools/ATP/reduce_axiomsN.ML Tools/ATP/watcher.ML \
Tools/Groebner_Basis/groebner.ML Tools/Groebner_Basis/misc.ML \
- Tools/Groebner_Basis/normalizer.ML Groebner_Basis.thy \
- Tools/Groebner_Basis/normalizer_data.ML \
- Tools/Presburger/cooper.ML Tools/Presburger/presburger.ML \
- Tools/Presburger/generated_cooper.ML Tools/Presburger/cooper_data.ML \
+ Tools/Groebner_Basis/normalizer.ML \
+ Tools/Groebner_Basis/normalizer_data.ML Tools/Qelim/cooper.ML \
+ Tools/Qelim/cooper_data.ML Tools/Qelim/ferrante_rackoff.ML \
+ Tools/Qelim/ferrante_rackoff_data.ML Tools/Qelim/generated_cooper.ML \
+ Tools/Qelim/presburger.ML Tools/Qelim/qelim.ML \
Tools/TFL/dcterm.ML Tools/TFL/post.ML Tools/TFL/rules.ML \
Tools/TFL/tfl.ML Tools/TFL/thms.ML Tools/TFL/thry.ML \
Tools/TFL/usyntax.ML Tools/TFL/utils.ML Tools/cnf_funcs.ML \
@@ -122,7 +121,7 @@
Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \
Tools/metis_tools.ML Tools/numeral_syntax.ML \
Tools/old_inductive_package.ML Tools/polyhash.ML \
- Tools/primrec_package.ML Tools/prop_logic.ML Tools/qelim.ML \
+ Tools/primrec_package.ML Tools/prop_logic.ML \
Tools/recdef_package.ML Tools/recfun_codegen.ML \
Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \
Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML \