Diffusion afp-devel b8e228d01fed

adapted to Isabelle/fd8d82c4433b;
b8e228d01fed
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/fd8d82c4433b;

Details

Provenance

Authored on

Parents

rAFP2b91ed6879db: Relational_Disjoint_Set_Forests, Stone_Relation_Algebras…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb8e228d01fed: adapted to Isabelle/fd8d82c4433b;.Dec 10 2020, 12:47 PM

Changes (2)

Path

Size

thys/

Isabelle_C/

C11-FrontEnd/

src/

C_Parser_Annotation.thy

C_Parser_Language.thy

rAFPb8e228d01fed

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

Loading...

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

Loading...