merged two theory files and cleaned up some locales
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFP5a968d3e072b: fixes for Relational_Disjoint_Set_Forests (AFP 2020 -> devel)
- Branches
- Unknown
- Tags
merged two theory files and cleaned up some locales Tags None Subscribers None |