tweaked Auto Sledgehammer's behavior and output
fada390d49dd
Actions

Description

tweaked Auto Sledgehammer's behavior and output

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

rISABELLEfada390d49dd

src/HOL/Tools/Sledgehammer/sledgehammer.ML

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML

tweaked Auto Sledgehammer's behavior and outputfada390d49ddActions

Description

Details

Changes (5)

rISABELLEfada390d49dd

src/HOL/Tools/Sledgehammer/sledgehammer.ML

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML

tweaked Auto Sledgehammer's behavior and output
fada390d49dd
Actions