Add more tacing to sledgehammer_isar_trace
1f959abe99d5
Actions

Description

Add more tacing to sledgehammer_isar_trace

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

HOL/

Tools/

ATP/

SMT/

Sledgehammer/

rISABELLE1f959abe99d5

src/HOL/Tools/ATP/atp_problem.ML

src/HOL/Tools/ATP/atp_proof.ML

src/HOL/Tools/SMT/smt_solver.ML

src/HOL/Tools/SMT/z3_isar.ML

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Add more tacing to sledgehammer_isar_trace1f959abe99d5Actions

Description

Details

Changes (5)

rISABELLE1f959abe99d5

src/HOL/Tools/ATP/atp_problem.ML

src/HOL/Tools/ATP/atp_proof.ML

src/HOL/Tools/SMT/smt_solver.ML

src/HOL/Tools/SMT/z3_isar.ML

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Add more tacing to sledgehammer_isar_trace
1f959abe99d5
Actions