Diffusion Isabelle b49329185b82

removed obscure E option
b49329185b82
Actions

Tags

None

Subscribers

None

Description

removed obscure E option

Details

Provenance

Authored on

Parents

rISABELLEa8efa30c380d: take 'induction_rules' into consideration, as well as 'max_facts' even when…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEb49329185b82: removed obscure E option.Jan 31 2022, 4:09 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle_sledgehammer.ML

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLEb49329185b82

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...