HomeIsabelle/Phabricator
Diffusion afp-devel 7ec975dcc2ff

Relational_Disjoint_Set_Forests: minor additions
7ec975dcc2ff
Actions

Description

Relational_Disjoint_Set_Forests: minor additions

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFP15572855dbeb: Omit the now redundant premise
Branches
Unknown
Tags
Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP7ec975dcc2ff: Relational_Disjoint_Set_Forests: minor additions.Oct 7 2020, 5:55 AM

Changes (1)

PathSize
thys/
Relational_Disjoint_Set_Forests/

rAFP7ec975dcc2ff

View Options

thys/Relational_Disjoint_Set_Forests/Disjoint_Set_Forests.thy

Loading...