Diffusion Isabelle f54c81fe84f2

revert temporary workaround 6d111935299c;
f54c81fe84f2
Actions

Tags

None

Subscribers

None

Description

revert temporary workaround 6d111935299c;

Details

Provenance

Authored on

Parents

rISABELLEed1e5ea25369: added lemma

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf54c81fe84f2: revert temporary workaround 6d111935299c;.Nov 10 2021, 12:34 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Mirabelle/

rISABELLEf54c81fe84f2

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...