# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 5f59df4ad2ec8fc373ac6ac431b1fff86b3f1057
output_heap: 557b2a6b875de640796216f142f9a3a4e541ffd7
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
aa7e75df0f088303e0c05254a601536bf391c4ad


