# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: b16b5211df54bf90a62d6ef03874265ae88ab087
output_heap: 009b1ffab83e06698816852ad14b89c2e2ae6add
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
3e13b87e1f57fdf749083c564e588d5cdf309dc7


