Diffusion afp-devel b748f578c7ba

adapted to Isabelle/c7a98469c0e7;
b748f578c7ba
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/c7a98469c0e7;

Details

Provenance

Authored on

Parents

rAFP19c9a15e6833: Frequency_Moments and Expander_Graphs: Change the dependency between the…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb748f578c7ba: adapted to Isabelle/c7a98469c0e7;.Jan 21 2024, 1:00 PM

Changes (1)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

C_Parser_Annotation.thy

rAFPb748f578c7ba

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

Loading...