HomeIsabelle/Phabricator

Stone_Relation_Algebras, Aggregation_Algebras: added history to metadata