Diffusion Isabelle f84a93f1de2f

tuned Mirabelle to parse option check_trivial only once
f84a93f1de2f
Actions

Tags

None

Subscribers

None

Description

tuned Mirabelle to parse option check_trivial only once

Details

Provenance

Authored on

Parents

rISABELLEefeebcfaef85: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEf84a93f1de2f: tuned Mirabelle to parse option check_trivial only once.Feb 19 2021, 11:52 AM

Changes (2)

Path

Size

src/

HOL/

Mirabelle/

Tools/

mirabelle_sledgehammer.ML

rISABELLEf84a93f1de2f

src/HOL/Mirabelle/Tools/mirabelle.ML

Loading...

src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML

Loading...