added Mirabelle option -r to randomize the goals before selection
fc664e4fbf6d
Actions

Description

added Mirabelle option -r to randomize the goals before selection

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (9)

Path

Size

etc/

rISABELLEfc664e4fbf6d

src/HOL/Mirabelle.thy

src/HOL/Tools/Mirabelle/mirabelle.ML

src/HOL/Tools/Mirabelle/mirabelle.scala

src/HOL/Tools/Mirabelle/mirabelle_util.ML

added Mirabelle option -r to randomize the goals before selectionfc664e4fbf6dActions

Description

Details

Changes (9)

rISABELLEfc664e4fbf6d

src/HOL/Mirabelle.thy

src/HOL/Tools/Mirabelle/mirabelle.ML

src/HOL/Tools/Mirabelle/mirabelle.scala

src/HOL/Tools/Mirabelle/mirabelle_util.ML

src/HOL/Tools/etc/options

added Mirabelle option -r to randomize the goals before selection
fc664e4fbf6d
Actions