# isabelle_session_info

session_name: Aggregation_Algebras
sources: b14f858a742cf0ae9675b2d516fdd458d9b91f10
input_heaps:
e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9
dc09a39d76722c2f6a77403e12e7aac18c8f9fa4
9a48c711831ac5069092e2364498154016c8c49e
0c4fd4036de019f9eff3b59465551637c4254cd1
d7611efd7de5a86924839435ec078122742766a6


