equal
deleted
inserted
replaced
21 open ATP_Proof |
21 open ATP_Proof |
22 open ATP_Proof_Reconstruct |
22 open ATP_Proof_Reconstruct |
23 open Sledgehammer_Util |
23 open Sledgehammer_Util |
24 open Sledgehammer_Fact |
24 open Sledgehammer_Fact |
25 open Sledgehammer_Prover |
25 open Sledgehammer_Prover |
26 open Sledgehammer_Prover_SMT |
|
27 open Sledgehammer_Prover_Minimize |
26 open Sledgehammer_Prover_Minimize |
28 open Sledgehammer_MaSh |
27 open Sledgehammer_MaSh |
29 open Sledgehammer |
28 open Sledgehammer |
30 |
29 |
31 (* val cvc3N = "cvc3" *) |
30 (* val cvc3N = "cvc3" *) |