Diffusion Isabelle 9dca3df78b6a

more operations from Isabelle/ML;
9dca3df78b6a
Actions

Tags

None

Subscribers

None

Description

more operations from Isabelle/ML;

Details

Provenance

Authored on

Parents

rISABELLEb8a191ce08aa: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9dca3df78b6a: more operations from Isabelle/ML;.Sep 20 2021, 3:27 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLE9dca3df78b6a

src/Tools/Haskell/Haskell.thy

Loading...