# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: f7547788bcacc0b7798525a0151b6c44610537dd
output_heap: 45d655367ec30c83fdeddf40bf8b114d40524fca
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
865bb3b1aa1093429710a0ad2043bb87ba6e78ea


