src/HOL/Tools/ATP_Manager/atp_systems.ML
changeset 38019 e207a64e1e0b
parent 38017 3ad3e3ca2451
child 38021 e024504943d1
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Tue Jul 27 17:32:55 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Tue Jul 27 17:43:11 2010 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4  open Metis_Clauses
     1.5  open Sledgehammer_Util
     1.6  open Sledgehammer_Fact_Filter
     1.7 -open Sledgehammer_TPTP_Format
     1.8 +open ATP_Problem
     1.9  open Sledgehammer_Proof_Reconstruct
    1.10  open ATP_Manager
    1.11