HomeIsabelle/Phabricator
Diffusion afp-devel 427ae4680c7f

Relational_Disjoint_Set_Forests: added a new theory, refactored related entries
427ae4680c7f
Actions

Description

Relational_Disjoint_Set_Forests: added a new theory, refactored related entries

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFP8f8887d17963: remove some redundant constraint-types in simplex algorithm
Branches
Unknown
Tags
Unknown

Changes (22)

PathSize
document/
document/
Relational_Minimum_Spanning_Trees/
Stone_Kleene_Relation_Algebras/
document/

rAFP427ae4680c7f

View Options

thys/Aggregation_Algebras/M_Choose_Component.thy

Loading...
View Options

thys/Aggregation_Algebras/Matrix_Aggregation_Algebras.thy

Loading...
View Options

thys/Aggregation_Algebras/ROOT

Loading...
View Options

thys/Aggregation_Algebras/document/root.tex

Loading...
View Options

thys/Relational_Disjoint_Set_Forests/Matrix_Peano_Algebras.thy

Loading...
View Options

thys/Relational_Disjoint_Set_Forests/More_Disjoint_Set_Forests.thy

Loading...
View Options

thys/Relational_Disjoint_Set_Forests/ROOT

Loading...
View Options

thys/Relational_Disjoint_Set_Forests/document/root.bib

Loading...
View Options

thys/Relational_Disjoint_Set_Forests/document/root.tex

Loading...
View Options

thys/Relational_Minimum_Spanning_Trees/Boruvka.thy

Loading...
View Options

thys/Relational_Minimum_Spanning_Trees/ROOT

Loading...
View Options

thys/Stone_Kleene_Relation_Algebras/Iterings.thy

Loading...
View Options

thys/Stone_Kleene_Relation_Algebras/Kleene_Relation_Algebras.thy

Loading...
View Options

thys/Stone_Kleene_Relation_Algebras/Matrix_Kleene_Algebras.thy

Loading...
View Options

thys/Stone_Relation_Algebras/Choose_Component.thy

Loading...
View Options

thys/Stone_Relation_Algebras/Matrix_Relation_Algebras.thy

Loading...
View Options

thys/Stone_Relation_Algebras/ROOT

Loading...
View Options

thys/Stone_Relation_Algebras/document/root.tex

Loading...