Diffusion Isabelle 291f7b5fc7c9

prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent
291f7b5fc7c9
Actions

Tags

None

Subscribers

None

Description

prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent

Details

Provenance

Authored on

Parents

rISABELLEe5322146e7e8: tuning

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE291f7b5fc7c9: prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent.Jul 14 2021, 4:09 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_fact.ML

rISABELLE291f7b5fc7c9

src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML

Loading...