# isabelle_session_info

session_name: Aggregation_Algebras
sources: bf90f435c262fa784826df205c8af7e97618a136
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
679e57a6da02a764416f5bb15c272bdee025c1bb
aaa7f90e6e79f83fe6bf23254d3b247a5f495160
a7b700ff993a6fb9f9d267a998e7ad297579fa98


