# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 99d97cb1f6a7178a8c988aa22d209b17aa0e9916
output_heap: 7ae081a0dd0b5696cbf2793b8e60fa6ff07c4fff
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
160996d7e1fc81765ddc1ad29ba3a67048f65dc1


