Relational_Disjoint_Set_Forests, Stone_Relation_Algebras, Stone_Kleene_Relation_Algebras: small refactorings
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFP0c20abab24ee: adapted to devel
- Branches
- Unknown
- Tags