Diffusion Isabelle 08db0a06e131

clarified treatment of type constructors;
08db0a06e131
Actions

Tags

None

Subscribers

None

Description

clarified treatment of type constructors;

Details

Provenance

Authored on

Parents

rISABELLEc73c22c62d08: misc tuning and clarification;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE08db0a06e131: clarified treatment of type constructors;.May 23 2021, 7:29 PM

Changes (4)

Path

Size

src/

Doc/

Implementation/

Isar_Ref/

Document_Preparation.thy

Outer_Syntax.thy

Pure/

Thy/

document_antiquotations.ML

rISABELLE08db0a06e131

src/Doc/Implementation/ML.thy

Loading...

src/Doc/Isar_Ref/Document_Preparation.thy

Loading...

src/Doc/Isar_Ref/Outer_Syntax.thy

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...