Diffusion afp-devel b4655cdb7be1

tuned signature, following Isabelle/947510ce4e36;
b4655cdb7be1
Actions

Tags

None

Subscribers

None

Description

tuned signature, following Isabelle/947510ce4e36;

Details

Provenance

Authored on

Parents

rAFP415f66ca9ad1: adapted to Isabelle/25900fbea7ad;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb4655cdb7be1: tuned signature, following Isabelle/947510ce4e36;.Dec 29 2022, 4:49 PM

Changes (1)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

C_Parser_Language.thy

rAFPb4655cdb7be1

thys/Isabelle_C/C11-FrontEnd/src/C_Parser_Language.thy

Loading...