Diffusion Isabelle dbc67f6c501c

proper Token.Declaration for internal_declaration;
dbc67f6c501c
Actions

Tags

None

Subscribers

None

Description

proper Token.Declaration for internal_declaration;

Details

Provenance

Authored on

Parents

rISABELLEe5bd9b3c6f0f: more standard treatment of morphism context;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdbc67f6c501c: proper Token.Declaration for internal_declaration;.May 18 2023, 2:06 PM

Changes (1)

Path

Size

src/

Pure/

Isar/

rISABELLEdbc67f6c501c

src/Pure/Isar/attrib.ML

Loading...