# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
24b1c280b514849efeaf89f24b90b476cba34ee9


