Diffusion Isabelle 4eac16052a94

tuned Mirabelle
4eac16052a94
Actions

Tags

None

Subscribers

None

Description

tuned Mirabelle

Details

Provenance

Authored on

Parents

rISABELLE77306bf4e1ee: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE4eac16052a94: tuned Mirabelle.Jun 11 2021, 9:33 AM

Changes (3)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

mirabelle_sledgehammer.ML

rISABELLE4eac16052a94

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...