# isabelle_session_info

session_name: Aggregation_Algebras
sources: 80bd8cc9b4fce9c570b248b77c68a436e522e205
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
16a642fd9a9240db4b35c89e1e8f1690b1ceabc9
719cc087ca29a5cab7c8774ff9d89b2b403b280f
130841295eda34d341f107e55b0bff1143e3619d


