| changeset 37926 | e6ff246c0cdb |
| parent 37617 | f73cd4069f69 |
| child 38021 | e024504943d1 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Jul 21 21:14:47 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Jul 21 21:15:07 2010 +0200 @@ -17,7 +17,6 @@ structure Sledgehammer_Isar : SLEDGEHAMMER_ISAR = struct -open Clausifier open Sledgehammer_Util open Sledgehammer_Fact_Filter open ATP_Manager