# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: bd0c7a6f50278da39f9cf972420704cff35c353a
output_heap: 719cc087ca29a5cab7c8774ff9d89b2b403b280f
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
16a642fd9a9240db4b35c89e1e8f1690b1ceabc9


