Diffusion Isabelle f7ea394490f5

moved stride option from sledgehammer action to main mirabelle
f7ea394490f5
Actions

Tags

None

Subscribers

None

Description

moved stride option from sledgehammer action to main mirabelle

Details

Provenance

Authored on

Parents

rISABELLE56f31baaa837: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEf7ea394490f5: moved stride option from sledgehammer action to main mirabelle.Jun 4 2021, 11:03 PM

makarius mentioned this in rISABELLE6f367240f09b: proper usage (amending f7ea394490f5);.Jun 5 2021, 12:24 AM

Changes (4)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

mirabelle_sledgehammer.ML

etc/

rISABELLEf7ea394490f5

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...

src/HOL/Tools/etc/options

Loading...