Diffusion Isabelle de8081bc85a0

tuned Sledgehammer messages
de8081bc85a0
Actions

Tags

None

Subscribers

None

Description

tuned Sledgehammer messages

Details

Provenance

Authored on

Parents

rISABELLEa7bcd2af7190: respect timeout better

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEde8081bc85a0: tuned Sledgehammer messages.Sep 5 2023, 3:23 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer.ML

sledgehammer_prover_atp.ML

rISABELLEde8081bc85a0

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...