# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: cde467f0c7fba9b4d45e4d560a15570123a45a7c
output_heap: f16381c7f8e14de0bc08283e4bc21e2ade8f2213
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
7a6127cbde677f09dd77f517de1da399256277fc


