# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 2d475be56c13fe4c47f54c4b6aaf5a5b63940f1c
output_heap: dfb3828de5b12a60aeff618aab94658553a6325e
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
a8749f911b7a86e71244743f340b7cedb910c4fc
4b5c6b4b278724e3dc087a0d7b2ecc171a408b9a


