changeset 42613 | 23b13b1bd565 |
parent 42606 | 0c76cf483899 |
child 42647 | 59142dbfa3ba |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML Mon May 02 14:28:28 2011 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML Mon May 02 14:40:57 2011 +0200 @@ -46,7 +46,6 @@ open ATP_Problem open ATP_Proof -open ATP_Systems open Metis_Translate open Sledgehammer_Util open Sledgehammer_Filter