Aggregation_Algebras: removed Hoare logic (now in HOL-Hoare) and spanning trees (now in Relational_Minimum_Spanning_Trees)
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFP4010aa481e6c: Relational_Disjoint_Set_Forests, Relational_Minimum_Spanning_Trees: minor edit…
- Branches
- Unknown
- Tags