equal
deleted
inserted
replaced
47 val remote_eprover: string * prover |
47 val remote_eprover: string * prover |
48 val remote_spass: string * prover |
48 val remote_spass: string * prover |
49 val refresh_systems: unit -> unit |
49 val refresh_systems: unit -> unit |
50 end; |
50 end; |
51 |
51 |
52 structure AtpWrapper: ATP_WRAPPER = |
52 structure ATP_Wrapper: ATP_WRAPPER = |
53 struct |
53 struct |
54 |
54 |
55 (** generic ATP wrapper **) |
55 (** generic ATP wrapper **) |
56 |
56 |
57 (* hooks for writing problem files *) |
57 (* hooks for writing problem files *) |