changeset 56078 | 624faeda77b5 |
parent 55287 | ffa306239316 |
child 56081 | 72fad75baf7e |
--- a/src/HOL/Sledgehammer.thy Thu Mar 13 08:56:08 2014 +0100 +++ b/src/HOL/Sledgehammer.thy Thu Mar 13 13:18:13 2014 +0100 @@ -7,7 +7,7 @@ header {* Sledgehammer: Isabelle--ATP Linkup *} theory Sledgehammer -imports ATP SMT +imports ATP SMT SMT2 keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl begin