HomeIsabelle/Phabricator

Relational_Disjoint_Set_Forests: variant abstraction

Description

Relational_Disjoint_Set_Forests: variant abstraction

Details

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