Diffusion Isabelle 3b17e7688dc6

updated documentation;
3b17e7688dc6
Actions

Tags

None

Subscribers

None

Description

updated documentation;

Details

Provenance

Authored on

Parents

rISABELLEa6587b40399d: tuned documentation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3b17e7688dc6: updated documentation;.Sep 11 2020, 12:17 PM

Changes (2)

Path

Size

src/

Doc/

System/

Environment.thy

rISABELLE3b17e7688dc6

src/Doc/System/Environment.thy

Loading...

src/Doc/System/Scala.thy

Loading...