# isabelle_session_info

session_name: Stone_Kleene_Relation_Algebras
sources: 7ac342af04744cfe731fedec7acd59155be01cc7
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
6561791c3a701351d7250c47a91a3af862a34e83
cf959e254aae9d5c9233841ec0681cc06d77a93a


