equal
deleted
inserted
replaced
20 struct |
20 struct |
21 |
21 |
22 open Metis_Clauses |
22 open Metis_Clauses |
23 open Sledgehammer_Util |
23 open Sledgehammer_Util |
24 open Sledgehammer_Fact_Filter |
24 open Sledgehammer_Fact_Filter |
25 open Sledgehammer_TPTP_Format |
25 open ATP_Problem |
26 open Sledgehammer_Proof_Reconstruct |
26 open Sledgehammer_Proof_Reconstruct |
27 open ATP_Manager |
27 open ATP_Manager |
28 |
28 |
29 val trace = Unsynchronized.ref false |
29 val trace = Unsynchronized.ref false |
30 fun trace_msg msg = if !trace then tracing (msg ()) else () |
30 fun trace_msg msg = if !trace then tracing (msg ()) else () |