# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: a70ecf3f3515f87968fbba356b60488169c5ce34
output_heap: 9139c987aa0a4ed25ce8361e72a392242e62fa28
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
4b5c6b4b278724e3dc087a0d7b2ecc171a408b9a
dfb3828de5b12a60aeff618aab94658553a6325e


