Mercurialisabelle / changeset
summary | shortlog | changelog | graph | tags | branches | files | changeset | raw | gz
loads Tools/Qelim/qelim.ML
authorchaieb
Wed Feb 27 14:39:50 2008 +0100 (2008-02-27)
changeset 26156420c1947511c
parent 26155 7c265e3da23c
child 26157 4d9d0a26c32a
loads Tools/Qelim/qelim.ML
src/HOL/Presburger.thy file | annotate | diff | revisions 
     1.1 --- a/src/HOL/Presburger.thy	Wed Feb 27 14:39:49 2008 +0100
     1.2 +++ b/src/HOL/Presburger.thy	Wed Feb 27 14:39:50 2008 +0100
     1.3 @@ -10,6 +10,7 @@
     1.4  uses
     1.5    "Tools/Qelim/cooper_data.ML"
     1.6    "Tools/Qelim/generated_cooper.ML"
     1.7 +  "Tools/Qelim/qelim.ML"
     1.8    ("Tools/Qelim/cooper.ML")
     1.9    ("Tools/Qelim/presburger.ML")
    1.10  begin
isabelle