# isabelle_session_info

session_name: Stone_Relation_Algebras
sources: 81c6d15189bfe85ec564427260c70466cbd1c55c
output_heap: 761fba026999b4f82882a67ceba3d1c207dc40bd
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
2655a4d9c98d43c9d7baf25d665d19bc3368c338


