# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: d1385bb0bf692e9d9dde2c09756e0faacbded24b
output_heap: f35950a5f4d87757ce817616b2b98f7d754fa344
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
e4d9842e6d64d132660e0aaee852b26a3ea4ac52


