Diffusion Isabelle 8c4ba5f61223

unused (see 8ffc607c345d);
8c4ba5f61223
Actions

Tags

None

Subscribers

None

Description

unused (see 8ffc607c345d);

Details

Provenance

Authored on

Parents

rISABELLE54fe8cc0e1c6: clarified signature: provide access to previous state;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8c4ba5f61223: unused (see 8ffc607c345d);.May 12 2021, 5:17 PM

Changes (6)

Path

Size

Mirabelle_Test.thy

mirabelle_refute.ML

rISABELLE8c4ba5f61223

src/HOL/Mirabelle/Mirabelle_Test.thy

Loading...

src/HOL/Mirabelle/Tools/mirabelle_refute.ML

Loading...