# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 72c9035d25886c56f98209c7577394a9c9768e0c
output_heap: 00ad91546b19a2a015a4827514aec986853541a8
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
12b3741ad37fbbfbe548a5e72c0ad873c4053427


