Diffusion Isabelle 5f0f0553762f

proper test for type constructor;
5f0f0553762f
Actions

Tags

None

Subscribers

None

Description

proper test for type constructor;

Details

Provenance

Authored on

Parents

rISABELLEc832f35ea571: more Isabelle/Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5f0f0553762f: proper test for type constructor;.Aug 26 2021, 11:23 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLE5f0f0553762f

src/Tools/Haskell/Haskell.thy

Loading...