# isabelle_session_info

session_name: Aggregation_Algebras
sources: 64cb5494954ff3c2c8e20d16889febfcb5828c0d
input_heaps:
4e13432f40f7b1835a151e11bc124aeab3c9b529
476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682
1555acd356ca7e2a391c49c5b15fc845efd7e87e
504da2ec9626496c6fb642f749db1343d96bf3f3
16e78f0935577b7640eec5ac764f70ec076305c3


