# isabelle_session_info

session_name: Aggregation_Algebras
sources: d3f4920e1b67e5ecf80180f1d006c02437dd1e55
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
e6af893a94152f42ee13ca3e0d9cebb7ccdcbf84
6d34866f4a4304eee8ee27edd0b2db8e4cff7900
2ef150c93dad6a7d1ff83f39095a06bd0e498d71


