# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 99d97cb1f6a7178a8c988aa22d209b17aa0e9916
output_heap: ebd084ab1ed52e807a49c0e0fa079089ded69c08
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
93529db2ab0ba2488eac06cb3d6da780acae4cc5


