# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: b26deaa6dcaff2d8b5e5bdcda9842534c05d6438
output_heap: 7011568a91377bd092c7d77c8c52f30a20c02479
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
d40697eb36647883a26c8f7abc916473e37f105b
dc7e3691e05e635829135888a1285fd2ab0f0683


