src/HOL/Sledgehammer.thy
changeset 57231 dca8d06ecbba
parent 57215 6fc0e3d4e1e5
child 57242 25aff3b8d550
     1.1 --- a/src/HOL/Sledgehammer.thy	Thu Jun 12 01:00:49 2014 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Thu Jun 12 01:00:49 2014 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  header {* Sledgehammer: Isabelle--ATP Linkup *}
     1.5  
     1.6  theory Sledgehammer
     1.7 -imports ATP SMT2
     1.8 +imports Presburger ATP SMT2
     1.9  keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl
    1.10  begin
    1.11