updated references to ML files
authorhaftmann
Mon May 10 14:57:04 2010 +0200 (2010-05-10)
changeset 368032cad8904c4ff
parent 36802 5f9fe7b3295d
child 36804 f4ad04780669
updated references to ML files
src/HOL/IsaMakefile
src/HOL/Presburger.thy
     1.1 --- a/src/HOL/IsaMakefile	Mon May 10 14:55:06 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon May 10 14:57:04 2010 +0200
     1.3 @@ -303,8 +303,7 @@
     1.4    Tools/Predicate_Compile/predicate_compile_pred.ML \
     1.5    Tools/quickcheck_generators.ML \
     1.6    Tools/Qelim/cooper.ML \
     1.7 -  Tools/Qelim/generated_cooper.ML \
     1.8 -  Tools/Qelim/presburger.ML \
     1.9 +  Tools/Qelim/cooper_procedure.ML \
    1.10    Tools/Qelim/qelim.ML \
    1.11    Tools/Quotient/quotient_def.ML \
    1.12    Tools/Quotient/quotient_info.ML \
     2.1 --- a/src/HOL/Presburger.thy	Mon May 10 14:55:06 2010 +0200
     2.2 +++ b/src/HOL/Presburger.thy	Mon May 10 14:57:04 2010 +0200
     2.3 @@ -10,7 +10,6 @@
     2.4    "Tools/Qelim/qelim.ML"
     2.5    "Tools/Qelim/cooper_procedure.ML"
     2.6    ("Tools/Qelim/cooper.ML")
     2.7 -  ("Tools/Qelim/presburger.ML")
     2.8  begin
     2.9  
    2.10  subsection{* The @{text "-\<infinity>"} and @{text "+\<infinity>"} Properties *}