# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 658d3e3244d3658798a1da44d609e7c3ae53fc43
output_heap: aec0e35d2d006b6111d2669b0b06dde3151407e0
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
0fa35046963fc0b2e3ebb55d18ab13e37e4c7633


