src/HOL/SMT/SMT_Base.thy
changeset 36084 3176ec2244ad
parent 35943 51b9155467cc
child 36884 88cf4896b980
equal deleted inserted replaced
36083:59f843c3f17f 36084:3176ec2244ad
   136 use "Tools/smt_monomorph.ML"
   136 use "Tools/smt_monomorph.ML"
   137 use "Tools/smt_translate.ML"
   137 use "Tools/smt_translate.ML"
   138 use "Tools/smt_solver.ML"
   138 use "Tools/smt_solver.ML"
   139 use "Tools/smtlib_interface.ML"
   139 use "Tools/smtlib_interface.ML"
   140 
   140 
   141 setup {* SMT_Normalize.setup #> SMT_Solver.setup *}
   141 setup {* SMT_Solver.setup *}
   142 
   142 
   143 end
   143 end