Diffusion Isabelle 61a1bf9eb0ce

clarified data: avoid pointless Morphism.transform;
61a1bf9eb0ce
Actions

Tags

None

Subscribers

None

Description

clarified data: avoid pointless Morphism.transform;

Details

Provenance

Authored on

Parents

rISABELLEdbc67f6c501c: proper Token.Declaration for internal_declaration;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE61a1bf9eb0ce: clarified data: avoid pointless Morphism.transform;.May 18 2023, 3:34 PM

Changes (1)

Path

Size

src/

Pure/

ex/

rISABELLE61a1bf9eb0ce

src/Pure/ex/Def.thy

Loading...