# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 25521a2301822d2c65e789ff2be529707e9dcee4
output_heap: dc7e3691e05e635829135888a1285fd2ab0f0683
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
d40697eb36647883a26c8f7abc916473e37f105b


