# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 43003942ebfdefd2ee09099f3f82329592b0df1b
output_heap: 3d7a0876121890d7e2bdeb484a799f215c7e017c
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
093f0a5af0c26c3e26166820afca8a30e6732b74
0836d760ea44c10c17d82111f6cb9deee474a617


