# isabelle_session_info

session_name: Aggregation_Algebras
sources: 081b9c916289ad8e7248ce23fade68d0ebdd0ca4
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
1fae3e84d891b3f3dafefee724e726474cf59833
6f68c3d7b39e8be1939b3eff85f1a2cc5bbc026a
5c90450ef0bee5af76f036a856a3ec6e5df4ec8f


