Diffusion afp-devel 9933c1ff260f

Relational_Disjoint_Set_Forests: extended theory, refactored related entries
9933c1ff260f
Actions

Tags

None

Subscribers

None

Description

Relational_Disjoint_Set_Forests: extended theory, refactored related entries

Details

Provenance

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

Authored on

Parents

rAFP9dbe244f1a10: Relational_Disjoint_Set_Forests: simplified invariant

Branches

Unknown

Tags

Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP9933c1ff260f: Relational_Disjoint_Set_Forests: extended theory, refactored related entries.Aug 10 2023, 7:09 PM

Changes (6)

Path

Size

thys/

Relational_Disjoint_Set_Forests/

Disjoint_Set_Forests.thy

Matrix_Peano_Algebras.thy

More_Disjoint_Set_Forests.thy

Stone_Kleene_Relation_Algebras/

Kleene_Relation_Algebras.thy

Stone_Relation_Algebras/

Relation_Algebras.thy

rAFP9933c1ff260f

thys/Relational_Disjoint_Set_Forests/Disjoint_Set_Forests.thy

Loading...

thys/Relational_Disjoint_Set_Forests/Matrix_Peano_Algebras.thy

Loading...

thys/Relational_Disjoint_Set_Forests/More_Disjoint_Set_Forests.thy

Loading...

thys/Stone_Kleene_Relation_Algebras/Kleene_Relation_Algebras.thy

Loading...

thys/Stone_Relation_Algebras/Relation_Algebras.thy

Loading...

thys/Stone_Relation_Algebras/Semirings.thy

Loading...