HomeIsabelle/Phabricator
Diffusion afp-devel 76b68bb2e427

Relational_Disjoint_Set_Forests: minor text edits
76b68bb2e427
Actions

Description

Relational_Disjoint_Set_Forests: minor text edits

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFP9713ed33b74d: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP76b68bb2e427: Relational_Disjoint_Set_Forests: minor text edits.Aug 23 2023, 2:47 PM

Changes (2)

PathSize
thys/
Relational_Disjoint_Set_Forests/

rAFP76b68bb2e427

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...