# isabelle_session_info

session_name: Stone_Relation_Algebras
output_heap: d66e13489edde0a4a0b3eb529292f65b4a5999ee
sources:
15b74cf114628786a79fcd1b7b0d850ae4538973
1cd802fcbb387b9e02a6b117d4fd35556210455c
2c54528a9bbb694c5e29c147708e85cdbdd48dad
2d3379ad55aba280f2a3a739b1c738a576c37bd5
56ce51e51c52771c0ee6e27b1d0e017c84baf301
6cf0434a2c81b3cfc66d5aa533eda695700a4801
6def3dc46358ea64f147563ca9a5264abc407f8f
aab124be90550157358bfa2fce73b8787a6fd3ba
e388782066b4bb00a7be451e2533369cb95c0c33

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
b02dc24d931af38f2d2cc67944c01ced504449ae


