Diffusion Isabelle a65c4539dedb

milder Sledgehammer messages
a65c4539dedb
Actions

Tags

None

Subscribers

None

Description

milder Sledgehammer messages

Details

Provenance

Authored on

Parents

rISABELLEf2e402a19530: moved lemmas from AFP

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEa65c4539dedb: milder Sledgehammer messages.Jul 11 2022, 3:03 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer.ML

sledgehammer_prover_minimize.ML

sledgehammer_tactics.ML

rISABELLEa65c4539dedb

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_tactics.ML

Loading...