Diffusion Isabelle bdaf29253394

proper syntax category;
bdaf29253394
Actions

Tags

None

Subscribers

None

Description

proper syntax category;

Details

Provenance

Authored on

Parents

rISABELLE98d2b3375258: Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbdaf29253394: proper syntax category;.Dec 7 2021, 7:32 PM

Changes (1)

Path

Size

src/

Doc/

Implementation/

rISABELLEbdaf29253394

src/Doc/Implementation/Logic.thy

Loading...