Diffusion Isabelle 0a46b3dbd5ad

tuned sledgehammer default provers to only include local ones
0a46b3dbd5ad
Actions

Tags

None

Subscribers

None

Description

tuned sledgehammer default provers to only include local ones

Details

Provenance

Authored on

Parents

rISABELLE2e849cebd65e: enforce rebuild of Isabelle/ML to update build databases;

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE0a46b3dbd5ad: tuned sledgehammer default provers to only include local ones.Jan 9 2023, 7:52 PM

makarius mentioned this in rISABELLE52f3d1cd8d63: follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint….Jan 15 2023, 8:44 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_commands.ML

rISABELLE0a46b3dbd5ad

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...