# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 0517c7e6f31eda373e3fe651fa9e8028e9695739
output_heap: e1c58140743fabaeafd2f0c6fe26ad6403830a27
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
f244d5d90c7c5a301b58f56d1f7280bcd20be144


