Diffusion Isabelle a695b78213e5

compile mirabelle
a695b78213e5
Actions

Tags

None

Subscribers

None

Description

compile mirabelle

Details

Provenance

Authored on

Parents

rISABELLEfada390d49dd: tweaked Auto Sledgehammer's behavior and output

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEa695b78213e5: compile mirabelle.Jan 31 2022, 4:09 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle_sledgehammer_filter.ML

rISABELLEa695b78213e5

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML

Loading...