Diffusion Isabelle 9c2a0b67eb68

reused slice in Sledgehammer's minimizer
9c2a0b67eb68
Actions

Tags

None

Subscribers

None

Description

reused slice in Sledgehammer's minimizer

Details

Provenance

Authored on

Parents

rISABELLEb9c6758bb784: used HTTPS for SystemOnTPTP

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE9c2a0b67eb68: reused slice in Sledgehammer's minimizer.Apr 9 2022, 8:53 AM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_prover_minimize.ML

rISABELLE9c2a0b67eb68

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...