Relational_Disjoint_Set_Forests, Relational_Minimum_Spanning_Trees: minor edit, now use HOL-Hoare
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFP31421e50c01b: Relational_Minimum_Spanning_Trees: minor changes to make it work with…
- Branches
- Unknown
- Tags