| changeset 55211 | 5d027af93a08 |
| parent 55202 | 824c48a539c9 |
| child 55212 | 5832470d956e |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jan 31 14:33:02 2014 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jan 31 16:07:20 2014 +0100 @@ -32,7 +32,6 @@ open Sledgehammer_Reconstructor open Sledgehammer_Isar_Proof open Sledgehammer_Isar_Annotate -open Sledgehammer_Isar_Print open Sledgehammer_Isar_Preplay open Sledgehammer_Isar_Compress open Sledgehammer_Isar_Try0