src/HOL/SMT.thy
changeset 41124 1de17a2de5ad
parent 41121 5c5d05963f93
child 41125 4a9eec045f2a
     1.1 --- a/src/HOL/SMT.thy	Wed Dec 15 08:39:24 2010 +0100
     1.2 +++ b/src/HOL/SMT.thy	Wed Dec 15 08:39:24 2010 +0100
     1.3 @@ -8,9 +8,9 @@
     1.4  imports List
     1.5  uses
     1.6    "Tools/Datatype/datatype_selectors.ML"
     1.7 +  "Tools/SMT/smt_utils.ML"
     1.8    "Tools/SMT/smt_failure.ML"
     1.9    "Tools/SMT/smt_config.ML"
    1.10 -  "Tools/SMT/smt_utils.ML"
    1.11    "Tools/SMT/smt_monomorph.ML"
    1.12    ("Tools/SMT/smt_builtin.ML")
    1.13    ("Tools/SMT/smt_normalize.ML")