equal
deleted
inserted
replaced
317 Tools/Sledgehammer/meson_tactic.ML \ |
317 Tools/Sledgehammer/meson_tactic.ML \ |
318 Tools/Sledgehammer/metis_tactics.ML \ |
318 Tools/Sledgehammer/metis_tactics.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
319 Tools/Sledgehammer/sledgehammer_fact_filter.ML \ |
320 Tools/Sledgehammer/sledgehammer_fact_minimizer.ML \ |
320 Tools/Sledgehammer/sledgehammer_fact_minimizer.ML \ |
321 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
321 Tools/Sledgehammer/sledgehammer_fol_clause.ML \ |
322 Tools/Sledgehammer/sledgehammer_hol_clause.ML \ |
|
323 Tools/Sledgehammer/sledgehammer_isar.ML \ |
322 Tools/Sledgehammer/sledgehammer_isar.ML \ |
324 Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ |
323 Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ |
325 Tools/Sledgehammer/sledgehammer_tptp_format.ML \ |
324 Tools/Sledgehammer/sledgehammer_tptp_format.ML \ |
326 Tools/Sledgehammer/sledgehammer_util.ML \ |
325 Tools/Sledgehammer/sledgehammer_util.ML \ |
327 Tools/SMT/cvc3_solver.ML \ |
326 Tools/SMT/cvc3_solver.ML \ |