# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: c574871abf25adfb042756f8b75d935afd9d9e48
output_heap: 6c5d3724fc9c9b4517bfac88dfa9f235eb920957
input_heaps:
3cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
456942da99ec383cfe66fb78ed9c43a7acb02a84
3d3cc2c2d796418f3a2f68d8ddf82947b98cb979


