| changeset 57208 | 5bf2a5c498c2 |
| parent 57154 | f0eff6393a32 |
| child 57209 | 7ffa0f7e2775 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML Wed Jun 11 08:58:42 2014 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML Wed Jun 11 11:28:46 2014 +0200 @@ -23,7 +23,6 @@ open Sledgehammer_Util open Sledgehammer_Fact open Sledgehammer_Prover -open Sledgehammer_Prover_SMT open Sledgehammer_Prover_Minimize open Sledgehammer_MaSh open Sledgehammer