Diffusion Isabelle fcfd96a59625

disable slicing within ATP module (in preparation for refactoring)
fcfd96a59625
Actions

Tags

None

Subscribers

None

Description

disable slicing within ATP module (in preparation for refactoring)

Details

Provenance

Authored on

Parents

rISABELLE30ccc472d486: disable slicing within SMT (in preparation for factoring it out)

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEfcfd96a59625: disable slicing within ATP module (in preparation for refactoring).Jan 31 2022, 4:09 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_prover_atp.ML

rISABELLEfcfd96a59625

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...