Diffusion Isabelle bde374587d93

tweaked abduction in Sledgehammer
bde374587d93
Actions

Tags

None

Subscribers

None

Description

tweaked abduction in Sledgehammer

Details

Provenance

Authored on

Parents

rISABELLE73611eb994cf: slightly more documentation

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEbde374587d93: tweaked abduction in Sledgehammer.Mar 1 2023, 8:00 AM

Changes (4)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

Sledgehammer/

sledgehammer_isar.ML

sledgehammer_prover_atp.ML

rISABELLEbde374587d93

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...