Diffusion Isabelle e83e92c0bcbd

tuned sledgehammer to use map_index
e83e92c0bcbd
Actions

Tags

None

Subscribers

None

Description

tuned sledgehammer to use map_index

Details

Provenance

Authored on

Parents

rISABELLE68a0f9a8561d: tuned ATP to use map_index

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEe83e92c0bcbd: tuned sledgehammer to use map_index.Dec 10 2021, 4:46 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_mash.ML

sledgehammer_prover_atp.ML

rISABELLEe83e92c0bcbd

src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...