Diffusion Isabelle e51aa922079a

tweaked Sledgehammer interaction
e51aa922079a
Actions

Tags

None

Subscribers

None

Description

tweaked Sledgehammer interaction

Details

Provenance

Authored on

Parents

rISABELLEcdf5f392ea78: there won't be an E version 2.7

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEe51aa922079a: tweaked Sledgehammer interaction.Mar 1 2023, 8:00 AM

Changes (3)

Path

Size

src/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

Sledgehammer/

sledgehammer.ML

sledgehammer_prover_atp.ML

rISABELLEe51aa922079a

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...