# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: e287673d82b060d8236e21e0e4eba7d8a656b681
output_heap: 5a9551a3d5102f382fb489e34af0a7d40d8df3dd
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
4e2cca13e5998d63bf3178a962e4f14fdeae13ed


