# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 81c6d15189bfe85ec564427260c70466cbd1c55c
output_heap: c64d218c57f1f2aeab5822b2612d56f6121c0fb4
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
f7670f89db2725cf9a9899b559bfbb66f9fd8f07


