Diffusion afp-devel 2b91ed6879db

Relational_Disjoint_Set_Forests, Stone_Relation_Algebras…
2b91ed6879db
Actions

Tags

None

Subscribers

None

Description

Relational_Disjoint_Set_Forests, Stone_Relation_Algebras, Stone_Kleene_Relation_Algebras: small refactorings

Details

Provenance

Walter Guttmann <walter.guttmann@canterbury.ac.nz>

Authored on

Parents

rAFP0c20abab24ee: adapted to devel

Branches

Unknown

Tags

Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP2b91ed6879db: Relational_Disjoint_Set_Forests, Stone_Relation_Algebras….Dec 9 2020, 10:14 PM

Changes (4)

Path

Size

thys/

Relational_Disjoint_Set_Forests/

Disjoint_Set_Forests.thy

Stone_Kleene_Relation_Algebras/

Kleene_Algebras.thy

Kleene_Relation_Algebras.thy

Stone_Relation_Algebras/

Relation_Algebras.thy

rAFP2b91ed6879db

thys/Relational_Disjoint_Set_Forests/Disjoint_Set_Forests.thy

Loading...

thys/Stone_Kleene_Relation_Algebras/Kleene_Algebras.thy

Loading...

thys/Stone_Kleene_Relation_Algebras/Kleene_Relation_Algebras.thy

Loading...

thys/Stone_Relation_Algebras/Relation_Algebras.thy

Loading...