changeset 40074 | 87edcef4fab0 |
parent 40069 | 6f7bf79b1506 |
child 40114 | acb75271cdce |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML Fri Oct 22 16:37:11 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML Fri Oct 22 16:45:55 2010 +0200 @@ -37,7 +37,7 @@ open Metis_Translate open Sledgehammer_Util open Sledgehammer_Filter -open Sledgehammer_Translate +open Sledgehammer_ATP_Translate type minimize_command = string list -> string type metis_params =