# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: e99a28a251fb423014d96b0773e6c908b73ce4c2
output_heap: 130841295eda34d341f107e55b0bff1143e3619d
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
16a642fd9a9240db4b35c89e1e8f1690b1ceabc9
719cc087ca29a5cab7c8774ff9d89b2b403b280f


