# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: db5a44bec9fad4c4c4dd8806dd15445f1f74a2f0
output_heap: 2be435115ccc9336a8b7f63a8282d1b3213607cb
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
6acf2128949e27710bb635a35d3f6f5c1da3aca5


