# isabelle_session_info

session_name: Aggregation_Algebras
sources: 85c301842dd5aac9527ab498c3bdca3d267a89c0
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
33b6eccfb56cd754e10f38f5bdeed9db5544f3a6
c9bac7e4b8ab36be0b8642c075bffc0e8bf289df
4f24b3306ab6fa570870001caaf6d850a241113f


