Diffusion Isabelle 3488c0eb4cc8

more complete signature;
3488c0eb4cc8
Actions

Tags

None

Subscribers

None

Description

more complete signature;

Details

Provenance

Authored on

Parents

rISABELLEe8da4a8d364a: more complete signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3488c0eb4cc8: more complete signature;.Feb 27 2020, 1:27 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLE3488c0eb4cc8

src/Tools/Haskell/Haskell.thy

Loading...