# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 4f0295c89bc5568e87c7cfbfc2106a7d00ee5ad4
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
ca7964e21e327b5bd629d2c7839127d2b2c730f1
199968e7f0a635f1032fd607c09907b91c91438e


