# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 1dcf7586e4a8b7a78b407dc5b982dee2532634a9
output_heap: ed28d398c3d1db22b4b6606cc14ddd02c92a8cab
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
fa86514010f722c857cd1658c8296f357d017e10


