merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP48532c37dc2a: clarified session setup -- proper document variants;
rAFPaddaddcb957f: minor updates to Stone_Algebras and Stone_Kleene_Relation_Algebras - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes