Diffusion Isabelle 8ffc607c345d

added Mirabelle
8ffc607c345d
Actions

Tags

None

Subscribers

None

Description

added Mirabelle

Details

Provenance

Authored on

Parents

rISABELLE3a4081abb3f7: Quickcheck callable from ML

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE8c4ba5f61223: unused (see 8ffc607c345d);.May 15 2021, 11:09 PM

Changes (9)

Path

Size

rISABELLE8ffc607c345d

lib/scripts/mirabelle

Loading...

src/HOL/IsaMakefile

Loading...

src/HOL/ex/Mirabelle.thy

Loading...

src/HOL/ex/mirabelle.ML

Loading...