Diffusion Isabelle ed510a3693e2

update slice options centrally
ed510a3693e2
Actions

Tags

None

Subscribers

None

Description

update slice options centrally

Details

Provenance

Authored on

Parents

rISABELLE890b70f96fe4: further work on new Sledgehammer slicing

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEed510a3693e2: update slice options centrally.Jan 31 2022, 4:09 PM

Changes (3)

Path

Size

src/

HOL/

Sledgehammer.thy

Tools/

Sledgehammer/

sledgehammer.ML

sledgehammer_prover_atp.ML

rISABELLEed510a3693e2

src/HOL/Sledgehammer.thy

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...