Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added new files for Presburger (cooper_data.ML, cooper.ML) and deleted old unused ones cooper_dec, cooper_proof, reflected_cooper etc..
authorchaieb
Mon, 11 Jun 2007 11:05:59 +0200
changeset 23313 af2847a95751
parent 23312 6e32a5bfc30f
child 23314 6894137e854a
Added new files for Presburger (cooper_data.ML, cooper.ML) and deleted old unused ones cooper_dec, cooper_proof, reflected_cooper etc..
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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	\
isabelle