# isabelle_session_info

session_name: Aggregation_Algebras
sources: d2105cd632ed4794a0028fb2d892a95be8081c62
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
6acf2128949e27710bb635a35d3f6f5c1da3aca5
2be435115ccc9336a8b7f63a8282d1b3213607cb
78423bbf3e2336a375941a5701f008c0796a3cd5


