# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 9eaff337d50d9f172575c51be16048a2c9a6e88e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
5869010b5a159979be38f0fc0196c1abb63f43f7
4e8c5a5e972be51c5317f1ccdf92379e266093d0


