HomeIsabelle/Phabricator
Diffusion afp-devel 98c7aa03457d

Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests
98c7aa03457d
Actions

Description

Relational_Disjoint_Set_Forests: add theory More_Disjoint_Set_Forests

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFP06eb6c7d6c76: lemma grooming
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
document/
Stone_Algebras/
Stone_Kleene_Relation_Algebras/
Stone_Relation_Algebras/

rAFP98c7aa03457d

View Options

thys/Relational_Disjoint_Set_Forests/Disjoint_Set_Forests.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.tex

Loading...
View Options

thys/Stone_Algebras/P_Algebras.thy

Loading...
View Options

thys/Stone_Kleene_Relation_Algebras/Kleene_Relation_Algebras.thy

Loading...
View Options

thys/Stone_Relation_Algebras/Relation_Algebras.thy

Loading...