# isabelle_session_info

session_name: Aggregation_Algebras
sources: 750a66a76122285e03cc423658d51d043aee119d
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
865bb3b1aa1093429710a0ad2043bb87ba6e78ea
45d655367ec30c83fdeddf40bf8b114d40524fca
d4e8b511b6ccfdb596809cbe3adcf451b060577d


