Diffusion Isabelle c832f35ea571

more Isabelle/Haskell operations;
c832f35ea571
Actions

Tags

None

Subscribers

None

Description

more Isabelle/Haskell operations;

Details

Provenance

Authored on

Parents

rISABELLE92f08f3d77bd: more Isabelle/Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc832f35ea571: more Isabelle/Haskell operations;.Aug 26 2021, 10:25 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEc832f35ea571

src/Tools/Haskell/Haskell.thy

Loading...