# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 6a17c9845742e7bbb51129ed7e9c6200b81ae325
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
950ea4632527669f7c4dae144a0d8bd338d2ab61
ec2b330a3fb423a3b0de0cfcbab7e317d959f1f2
7b07c81cb5b5c3dcdb850479186cb4493f92ca93


