# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 64e3c1cd793811ae82afb7adaa578198c25053b3
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
733d7bad94f0823e3022d6643c7ba6598ea40f8f
097c6552c5aebe3e08ed6258669b5c38547aaf7d


