# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 484e0773d10657968e45006f2afab13559d13ef2
output_heap: 21a7fc643209a4c9cf0f1a058a9926a87db12ea8
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
e385c849cd61c488a4e958349f18c3ff53a20d53


