# HG changeset patch
# User chaieb
# Date 1181552759 -7200
# Node ID af2847a95751ecaad6b0c546a0c12a4078fc2337
# Parent  6e32a5bfc30f4980f6eb3d544683211ba4db2672
Added new files for Presburger (cooper_data.ML, cooper.ML) and deleted old unused ones cooper_dec, cooper_proof, reflected_cooper etc..

diff -r 6e32a5bfc30f -r af2847a95751 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jun 11 11:05:57 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Jun 11 11:05:59 2007 +0200
@@ -95,10 +95,9 @@
   Tools/Groebner_Basis/groebner.ML Tools/Groebner_Basis/misc.ML		\
   Tools/Groebner_Basis/normalizer.ML					\
   Tools/Groebner_Basis/normalizer_data.ML				\
-  Tools/Presburger/cooper_dec.ML Tools/Presburger/cooper_proof.ML	\
-  Tools/Presburger/presburger.ML Tools/Presburger/qelim.ML		\
-  Tools/Presburger/reflected_cooper.ML					\
-  Tools/Presburger/reflected_presburger.ML Tools/TFL/dcterm.ML		\
+  Tools/Presburger/cooper.ML Tools/Presburger/presburger.ML 		\
+  Tools/Presburger/qelim.ML Tools/Presburger/generated_cooper.ML 	\
+  Tools/Presburger/cooper_data.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 Tools/datatype_abs_proofs.ML	\