Diffusion Isabelle 2cf0b0293f0d

proper check of example;
2cf0b0293f0d
Actions

Tags

None

Subscribers

None

Description

proper check of example;

Details

Provenance

Authored on

Parents

rISABELLEce06d6456cc8: clarified signature --- fit within limit of 22 arguments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2cf0b0293f0d: proper check of example;.May 26 2020, 12:09 PM

Changes (1)

Path

Size

src/

Doc/

System/

rISABELLE2cf0b0293f0d

src/Doc/System/Scala.thy

Loading...