# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 1429ec51a3c0dfe768fdb2b601423a745457c33c
output_heap: c07f06b3128d901ed6e612ebeca176056597b2d1
input_heaps:
325386da1460dc38f32089d1221024ec932a2181
06bff5eb73bee75606e14d28e9b646bebba8f569
ffd72f6664cb596de1abd32954c05ee81d077df3


