Diffusion Isabelle 114eb0af123d

simplified 'best_slice' data structure and made minor changes to slices
114eb0af123d
Actions

Tags

None

Subscribers

None

Description

simplified 'best_slice' data structure and made minor changes to slices

Details

Provenance

Authored on

Parents

rISABELLEfdda7e754f45: changed logic of 'slice' option to 'slices'

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE114eb0af123d: simplified 'best_slice' data structure and made minor changes to slices.Jan 31 2022, 4:09 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle_sledgehammer.ML

Sledgehammer/

sledgehammer_atp_systems.ML

sledgehammer_prover_atp.ML

sledgehammer_prover_minimize.ML

rISABELLE114eb0af123d

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...