fixes for Relational_Disjoint_Set_Forests (AFP 2020 -> devel)
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPa51281787c8b: merge of AFP 2020, fixed some proofs, but Relational_Disjoint_Set_Forests stays…
- Branches
- Unknown
- Tags