# isabelle_session_info

session_name: Aggregation_Algebras
sources: 80bd8cc9b4fce9c570b248b77c68a436e522e205
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
3cc12054eb661e048e3a792ac4703b0f2f7f363b
6e3cbc4a6860e287d0d71a841d0ddf0d92553b05
328695442060b60200a2af4e11bb553d026ff63f


