Diffusion Isabelle 90bd7fc7fcc0

clarified dependencies;
90bd7fc7fcc0
Actions

Tags

None

Subscribers

None

Description

clarified dependencies;

Details

Provenance

Authored on

Parents

rISABELLE75d14ac0547e: updated for release;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE90bd7fc7fcc0: clarified dependencies;.Oct 4 2021, 1:32 PM

Changes (1)

Path

Size

src/

Doc/

Isar_Ref/

rISABELLE90bd7fc7fcc0

src/Doc/Isar_Ref/Symbols.thy

Loading...