# isabelle_session_info

session_name: Separation_Algebra
sources: 6b5eabafa09ee8eb7cc37f3b094c90cf4ce87e84
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
e9f51a7c41addecf1f69ca5aff13e0edba7277f3


