# isabelle_session_info

session_name: Aggregation_Algebras
sources: dfa1d2636beef2a7191490acba6afec4c1828860
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
069a5f33bf1557fcf1fdd3217b72b7c9866ef6dc
fac0eb58f388abc04e3c8110537eea38f7615bb8
d482a533a5e1108f91ccbd2bafe903c30299e76c


